US 4,787,061 AGranted

Dual delay mode pipelined logic simulator

AssigneeIkos Systems, Inc.

InventorsChu C. Nei, Dan R. Hafeman, William Fazakerly

Life of this patent

Estimating the term…

Loading patent…

Abstract

Logic simulation is performed using special purpose hardware which operates in either one of two simulation modes. The machine allows detailed timing simulation where each device may be programmed with a delay time of zero, one, or multiple simulation time units. In addition, the machine supports zero and unit delay simulation in a high performance "unit delay" mode. The logic simulation function is partitioned into six sub-functions which are implemented in a single stage of a six-stage pipeline. The pipeline stages which implement the multi-unit delay time queue management may be switched to perform a different algorithm for unit delay simulation. The machine is able to perform extremely fast functional circuit testing and to perform detailed timing simulation without changing the circuit "netlist".

Claims4

Dependent claims

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.

5 more elements

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.

5 more elements

Dependencies are inferred from the claim text.