Digital system simulation

• US 6,097,885 A
• Filed: 11/18/1997
• Issued: 08/01/2000
• Est. Priority Date: 01/16/1997
• Status: Expired due to Fees

• Current Assignee: International Computers Limited (Fujitsu Limited)
• Original Assignee: International Computers Limited (Fujitsu Limited)
• Inventors: Rayner, James Edward
• Primary Examiner(s): Teska, Kevin J.
• Assistant Examiner(s): FREJD, RUSSELL WARREN
• Application Number:
  US08/972,821
• Time in Patent Office: 987 Days
• Field of Search: 364/578, 364/200, 364/900, 395/500, 395/500.38, 395/500.34, 395/500.37, 710/54, 710/55, 706/45
• US Class Current: 703/17
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking

Abstract

A simulator for a digital system comprises a simulation model, an event queue for scheduling changes to the state of the simulation model at specified times, and a separate delta queue, for scheduling changes to the state of the simulation model that are to take place instantaneously. The use of separate event and delta queues facilitates optimization of the queuing. The simulation model comprises a number of replaceable parts, each of which contains and is responsible for managing its own state information. The event and delta queues contain references to the parts of the model for which changes of state are scheduled, without containing the actual values of those changes of state.

Claims

1. A simulator for simulating a digital system, the simulator comprising:

(a) a simulation model;

(b) an event queue for scheduling changes to the state of the simulation model at specified times; and

(c) a separate delta queue, for scheduling changes to the state of the simulation model that are to take place instantaneously;

(d) wherein said simulation model comprises a plurality of replaceable parts, each of which contains its own state information and is responsible for managing its own state information.

2. A simulator according to claim 1 wherein the event and delta queues contain references to the parts of the model for which changes of state are scheduled, without containing the actual values of those changes of state.

3. A simulator according to claim 2 wherein the parts of the model include process objects and signal objects.

4. A simulator according to claim 3 wherein each of the signal objects directly drives at most one of the process objects, and including at least one split process positioned between a signal object and a plurality of process objects, for allowing that signal object to drive the plurality of process objects indirectly.

5. A simulator according to claim 1 including means for selecting an optimum form of said event queue.

6. A simulator according to claim 1 including means for checking that a state value has actually changed, and that this change of state has not already been added to the event queue or delta queue, before adding that change to the event queue or delta queue.

7. A method for simulating a digital system, comprising the steps:

(a) adding event records to an event queue, said event records representing changes to the state of a simulation model that are scheduled to occur at specified times;

(b) adding delta records to a delta queue, separate from said event queue, said delta records representing changes to the state of the simulation model that are to take place instantaneously;

(c) periodically removing event records corresponding to a current simulation time from said event queue, and performing simulation processes for those event records; and

(d) periodically removing all delta records from said delta queue and performing simulation processes for those delta records.

8. A method according to claim 7 further including selecting an optimum form of said event queue.