Dual delay mode pipelined logic simulator

Claim 2

In a logic simulator for simulating a plurality of logic devices, each of said devices having some propagation delay or delays between changes in the input state of said device and a resultant change in the output state of said device, said simulator comprising: first storage means for storing a first propagation delay for each logic device to be simulated, said first delay being either zero or one simulated time unit; first simulating means coupled to said first storage for simulating a first zero and unit delay mode of operation utilizing said first stored delay; second storage means for storing a group of propagation delays for each of said simulated logic devices, said group of stored propagation delays being either zero, one unit, or multiple simulated time units; second simulating means coupled to said second storage means for simulating a zero, unit and multiple unit time wheel mode of operation utilizing said group of stored delays; control means for selecting from said first simulating means or said second simulating means either said first zero and unit delay mode of operation or said zero, unit and multiple unit time wheel mode of operation for said simulator; and means responsive to selection by said control means for performing said simulation in either said first zero and unit delay mode of operation or said zero, unit and multiple time wheel mode of operation using a common architecture and a common net list, whereby the average number of memory access cycles required in the simulation of any one of said logic devices is reduced when said first zero and unit delay mode of operation is selected by said control means.

Claim 3

A logic simulator for simulating a plurality of logic devices, each of said simulated logic devices having a unique identifying net number, said logic simulator being implemented as a multiple stage pipeline for simulating the logical performance of said logic devices, said pipeline having separate means in each of said stages to perform each of the specific operations required to simulate the function of said logic devices, thereby allowing said operations to be performed simultaneously on a plurality of said simulated logic devices, said means for performing said specific operations including: index map memory means to store a fanout list pointer for each of said simulated logic devices, said identifying net number being utilized to provide the address in said index map memory means for the appropriate one of said fanout list pointers for a specific simulated logic device; fanout memory means for storing a list of other of said identifying net numbers which represent all of those simulated logic devices which are connected to the output of each of said simulated logic devices, said fanout list pointer being utilized to provide the addresses in said fanout memory means where said fanout list begins; pinlist/opcode memory means for storing the input logic state and the logic device type of each of said simulated logic devices, said identifying net numbers produced from said fanout list in said fanout memory means being utilized to generate the addresses in said pinlist/opcode memory means where said input logic state and said logic device type are stored; evaluation memory means to store the logic function of each of said simulated logic devices, said input logic state and said logic device type provided from said pinlist/opcode memory being utilized to provide the address in said evaluation memory means where the future output state of said simulated logic device is stored; event queue memory means for storing said identifying net numbers, said event queue memory means being organized into segments which are accessed for events and which represent time intervals of said logic simulator; and event queue control means for storing or retrieving said identifying net numbers to or from said event queue memory means segments, thereby controlling the times at which state transitions occur on the outputs of said simulated logic devices.

Claim 4

A logic simulator for simulating a plurality of logic devices, each of said simulated logic devices having a unique identifying net number, said logic simulator being implemented as a multiple stage pipeline for simulating the logical performance of said logic devices, said pipeline having separate means in each of said stages to perform each of the specific operations required to simulate the function of said logic devices, thereby allowing said operations to be performed simultaneously on a plurality of said simulated logic devices, said means for performing said specific operations including: index map memory means to store a fanout list pointer for each of said simulated logic devices, said identifying net number being utilized to provide the address in said index map memory means for the appropriate one of said fanout list pointers for a specific simulated logic device; fanout memory means for storing a list of other of said identifying net numbers which represent all of those simulated logic devices which are connected to the output of each of said simulated logic devices, said fanout list pointer being utilized to provide the addresses in said fanout memory means where said fanout list begins; pinlist/opcode memory means for storing the input logic state and the logic device type of each of said simulated logic devices, said identifying net numbers produced from said fanout list in said fanout memory means being utilized to generate the addresses in said pinlist/opcode memory means where said input logic state and said logic device type are stored; evaluation memory means to store the logic function of each of said simulated logic devices, said input logic state and said logic device type provided from said pinlist/opcode memory being utilized to provide the address in said evaluation memory means where the future output state of said simulated logic device is stored; event queue memory means for storing said identifying net numbers, said event queue memory means being organized into segments which are accessed for events and which represent time intervals of said logic simulator; and event queue control means for storing or retrieving said identifying net numbers to or from said event queue memory means segments, thereby controlling the times at which state transitions occur on the outputs of said simulated logic devices.

Claim 5

A logic simulator as in claim 2 including means for performing said simulation in either a first zero and unit delay mode of operation or in a zero, unit and multiple unit time wheel mode of operation.

Claim 6

A logic simulator in accordance with claim 1 in which said simulator is implemented as a multiple stage pipeline, said pipeline having a plurality of stages for simultaneously performing specific operations sequenced to simulate said logic devices.