Logic simulation method and apparatus.

BACKGROUND OF THE INVENTION

0001This invention relates to logic simulation method and apparatus used for verifying the operation of a logic circuit and more particularly to event driven type logic simulation method and apparatus.

0002In the event driven type logic simulation, the change in status of a signal in a logic circuit to be simulated is deemed as occurrence of an event and a series of signal status changes is handled as a series of events. Data representative of an event contains "event time" indicative of time that the signal status changes, "post-status" indicative of a signal status after a change and "additional information" indicative of a logic element number in which the signal status changes.

0003Also, in the event driven type simulation, only a logic element which experiences a signal status change at its input terminal is considered in order that a signal status at its output terminal is calculated. When results of calculation indicate that the signal status at the output terminal changes, an event to this effect is newly created and transmitted to an input terminal of a succeed­ing logic element connected to the output terminal of the preceding logic element. If results of calculation indicate that the signal status at the output terminal does not change, no new event is created.

0004The event driven type logic simulation is executed by repeating three processes which are a process for evaluating an event representative of a signal status change at an input terminal of a logic element and calculating events representative of signal status changes at an output terminal of the logic element ("evaluation process"), a process for deciding/extracting an event deserving evaluation from a group of events calculated in the evaluation process ("take-out process") and a process for transmitting an event representative of a signal status change at the output terminal of the logic element to an input terminal of a succeeding logic element connected to the output terminal of the preceding logic element ("transmission process").

0005In deciding an event deserving evaluation, a method as described in "Design II of VLSI", Iwanami Lectureship, Microelectronics, pp. 191 - 210 is employed wherein a event which has a minimum of values of event times of all events in the logic simulation apparatus and which represents a signal status change at the input terminal of a logic element is decided to deserve elevation. In other words, this method sequentially evaluates events, starting from an event having smaller (earlier) event time, and calculates a signal status at the output of a logic element relating to an evaluated event.

0006Recently, in order to speed up simulation, a processor is managed to carry out the take out process, evaluation process and transmission process through pipeline processing or a plurality of processors for pipeline processing are grouped in unit of logic simulation processor and the logic simulation processors are arranged in parallel and operated for parallel processings.

0007Typically, in the simulation apparatus, a current time output unit for delivering current time is provided, an event having event time coincident with the current time is decided to deserve elevation, and the current time is incremented by one when the event relating to the current time disappears in the logic simulation processor.

0008Updating of the current time must be done in such a manner that updated current time should not exceed not only event time of an event generated through the take-out process, evaluation process and transmission process but also event time of an event or "injection event" representative of a signal status change which is externally applied to the logic circuit to be simulated.

0009Accordingly, in the prior art logic simulation apparatus, all injection events are stored in an event storage of the logic simulation processor in advance of execution of the simulation or the simulation is tempo­rarily stopped each time that current time is advanced to some extent, injection events each having event time which is slightly greater than the current time are injected into the logic simulation processor and after completion of storage by the logic simulation processor of all the injection events in the event storage, the simulation is restarted.

0010The prior art logic simulation method and apparatus however face the following problems.

0011More particularly, in the prior art logic simulation method and apparatus in which all of injection events are stored in the event storage in advance of execution of the simulation, there arises a problem that memory capacity of the event storage is consumed greatly by the injection events.

0012Secondly, in the prior art logic simulation method and apparatus in which the simulation is tempo­rarily stopped each time that current time is advanced to some extent, injection events each having event time which is slightly greater than the current time are injected into the logic simulation processor and after completion of storage of all the injection events in the event storage of the logic simulation processor, the simulation is restarted, there arises a problem that simulation speed is degraded.

SUMMARY OF THE INVENTION

0013The present invention contemplates elimination of the prior art drawbacks and it is an object of a logic simulation method recited in claim 1 and a logic simula­tion apparatus recited in claim 3 to prevent current time from exceeding event times of injection events, by injecting an injection event to a logic simulation processor in parallel with execution of simulation.

0014It is an object of a logic simulation method recited in claim 2 and a logic simulation apparatus recited in claim 4 to avoid processing of an event other than an injection event from retarding, by storing the injection event in an event storage.

0015To accomplish the above objects, the invention is constructed as below.

0016According to the logic simulation method and apparatus of the invention, an event injection unit adds to an event an identifier for discriminating an event generated through take-out process, evaluation process and transmission process from an injection event at delivers an injection event together with auxiliary time represen­tative of event time of an injection event expected to be delivered out of the event injection unit after delivery of that delivered injection event, a time storage unit stores auxiliary time corresponding to an injection event stored in an event storage, and a current time output unit updates the current time within a range of values stored in the time storage unit.

0017Buffer memories provided in a logic simulation processor store events in accordance with the kind of identifier.

0018According to the logic simulation method and apparatus of the invention, an identifier is used which discriminates an event generated through take-out process, evaluation process and transmission process from an injection event, an event injection unit delivers, when delivering an injection event, auxiliary time representing a minimum of values of event times of injection events expected to be delivered out of the event injection unit after delivery of that delivered injection event, a time storage unit stores auxiliary time corresponding to an injection event stored in an event storage at the time of the storage of the stored injection event, and a current time output unit updates the current time within a range of values stored in the time storage unit, whereby the injection event can be stored in the event storage in parallel with execution of simulation.

0019Buffer memories provided in a logic simulation processor store events in accordance with the kind of identifier, and an event generated through take-out process, evaluation process and transmission process is preferentially taken out of one of the buffer memories, thereby preventing processing of the event generated through evaluation process and transmission process from being retarded in the presence of an injection event.

BRIEF DESCRIPTION OF THE DRAWINGS

0020<ul id="ul0001" list-style="none"><li>Fig. 1 is a block diagram showing the const­ruction of a first embodiment of a logic simulation apparatus according to the invention;</li><li>Fig. 2 is a block diagram showing the construction of a first embodiment of a logic simulation processor;</li><li>Fig. 3 is a schematic diagram showing the construction of an embodiment of a current time output unit;</li><li>Fig. 4 is a schematic diagram showing the construction of a first embodiment of a time storage unit;</li><li>Fig. 5 is a block diagram showing the construc­tion of a second embodiment of the logic simulation apparatus according to the invention;</li><li>Fig. 6 is a schematic diagram showing the construction of an embodiment of a coloring unit;</li><li>Fig. 7 is a schematic diagram showing the construction of an embodiment of a noticed color designating unit;</li><li>Fig. 8 is a block diagram showing the construction of a second embodiment of the logic simulation processor;</li><li>Fig. 9 is a schematic diagram showing the construction of an embodiment of a noticed color presence decider unit;</li><li>Fig. 10 is a schematic diagram showing the construction of a second embodiment of the time storage unit;</li><li>Figs. 11 and 12 are diagrams showing the structure of events;</li><li>Fig. 13 is a flow chart useful to explain a method of calculating auxiliary time; and</li><li>Fig. 14 shows at sections (A) to (C) the change of color of events.</li></ul>

DESCRIPTION OF THE PREFERRED EMBODIMENTS

0021The invention will now be described by way of example with reference to the accompanying drawings.

0022A created event obtained through the take-up process, evaluation process and transmission process is discriminated from an injection event by using an identi­fier called "color" and the term color will be used hereinafter.

0023Fig. 1 is a schematic block diagram illustrating a first embodiment of a logic simulation apparatus accord­ing to the invention. The apparatus shown in Fig. 1 comprises a current time output unit 1, an event injection unit 2, a network 3, logic simulation processors 4 and 5, a time storage unit 6 and event storage units 7 and 8. Denoted by 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811 and 812 are signal lines.

0024A first example of structures of data or event processed by the logic simulation apparatus of the invention is shown in Fig. 11. Individual events <u style="single">a</u>, <u style="single">b</u>, <u style="single">c</u>, <u style="single">d</u>, <u style="single">e</u> and <u style="single">f</u> shown in Fig. 11 have event time T1, T2 or T3, post-status S1, S2 or S3, additional information OTHERS 1, OTHERS 2 or OTHERS 3, color C1, C2 or C3, auxiliary time t1 or t3 and destination identifier D1 or D3.

0025The current time output unit 1 delivers current time onto the signal line 800. The initial value of the present time is zero. It is assumed here that the current time is T2.

0026The event injector 2 stores a set of injection events each having event time, post-status, additional information, color, destination identifier and auxiliary time. The auxiliary time represents a minimum of values of event times of events which are delivered onto the signal line 801 after delivery of a particular event from the event injection unit. Algorithm for calculation of auxiliary time will be described later. Separate calculation of auxiliary times is carried out for individual destination identifiers of injection events. Any injection event is identified by red color.

0027For convenience of explanation, the following description will be given on the assumption that one of the injection events is represented by the event <u style="single">a</u> (Fig. 11) having event time T1 where T1 ≧ T2, post-status S1, additional information OTHERS 1, color C1, destination identifier D1 and auxiliary time t1. The event injector 2 delivers the event <u style="single">a</u> onto the signal line 801.

0028The network 3 receives the event <u style="single">a</u> from the signal line 801 and it delivers the event <u style="single">b</u> identical to the event <u style="single">a</u> removed of the destination identifier D1 onto the signal line 802 when the destination identifier D1 designates the logic simulation processor 4 but onto the signal line 807 when the destination identifier D1 designates the logic simulation processor 5.

0029As an example, the following description will be given on the assumption that the destination identifier D1 designates the logic simulation processor 4.

0030The logic simulation processor 4 has the event storage unit 7 for storing events. When the logic simulation processor 4 receives the event <u style="single">b</u> from the signal line 802, it removes the color C1 and auxiliary time t1 from the event <u style="single">b</u> to form the event <u style="single">c</u> which in turn is temporarily stored in the event storage 7. When the color C1 of the event <u style="single">b</u> is red, the logic simulation processor 4 delivers, concurrently with storage of the event <u style="single">c</u> in the event storage unit 7, the auxiliary time t1 of the event <u style="single">b</u> to the signal line 804 and a time store signal to the signal line 805. If the master event not removed of color from which the event to be stored originates has color which is not red, the logic simula­tion processor 4 does not deliver any output signal to the signal lines 804 and 805 at the time of storage of the event in the event storage unit 7.

0031The logic simulation processor 4 is also operable to read current time on the signal line 800 so as to take out of the event storage 7 one of the stored events having event time T2 coincident with the current time, that is, the event <u style="single">d</u> having post-status S2 and additional information OTHERS 2. Then, the logic simulation processor 4 adds blue color C2 to the event <u style="single">d</u> to form event <u style="single">e</u>, calculates a signal status change which is caused, in the logic circuit to be simulated, by a signal status change represented by the event <u style="single">e</u>, and delivers to the signal line 803 calculation results in the form of the event <u style="single">f</u> having event time T3, post-status S3 and additional information OTHERS 3. Any value may be set in auxiliary time t3 of the event <u style="single">f</u>. The logic simulation processor 4 makes the destination identifier D3 of the event <u style="single">f</u> an identifier of a logic simulation processor which should process the event <u style="single">f</u>. The logic simulation processor 4 always makes blue the color of event delivered to the signal line 803. Therefore, the color C3 of the event <u style="single">f</u> is blue. The event <u style="single">c</u> stored in the event storage 7 is taken out thereof when the current time coincides with T1. Also, the logic simulation processor 4 delivers a true value output signal to the signal line 806 when an event having blue color exists in the processor 4 or an event having event time coincident with the current time exists in the event storage 7 but a false value output signal to the signal line 806 when an event having blue color does not exist in the processor 4 or an event having event time coincident with the current time does not exist in the event storage 7.

0032In the foregoing description, the procedures through which the logic simulation processor 4 first receives the event <u style="single">b</u> and ultimately delivers the event <u style="single">f</u> have been described sequentially but the logic simulation processor 4 may process a plurality of events simul­taneously through pipeline processing.

0033If the destination identifier D1 of the event <u style="single">a</u> designates not the logic simulation processor 4 but the logic simulation processor 5, the logic simulation processor 5 receives the event <u style="single">b</u> from the signal line 807 and, like the logic simulation processor 4, removes the color C1 and auxiliary time t1 from the event <u style="single">b</u> to form the event <u style="single">c</u> which in turn is stored in the event storage 8. The processor 5 is also operable to take out of the event storage 8 an event having event time coincident with the current time and deliver to the signal line 808 an event representative of calculation results and having blue color. If the master event not removed of color from which the stored event originates has red color, the processor 5 delivers, concurrently with storage of the event in the event storage unit 8, the auxiliary time of the master event to the signal line 809 and a time store signal to the signal line 810. Also, the processor 5 delivers a true value signal to the signal line 811 when an event having blue color exists in the processor 5 or an event having event time coincident with the current time exists in the event storage 8 but a false value signal to the signal line 811 when an event having blue color does not exist in the processor 5 or an event having event time coincident with the current time does not exist in the event storage 8.

0034The logic simulation processors 4 and 5 connected in parallel with each other can be operated independently to perform parallel processing.

0035The network 3 receives the event from the signal line 803 or 808, that is, the event <u style="single">f</u>. When the destina­tion identifier D3 designates the logic simulation processor 4, the network 3 delivers to the signal line 802 an event identical to the event <u style="single">f</u> removed of the destina­tion identifier D3 and when the destination identifier D3 designates the logic simulation processor 5, it delivers the same event to the signal line 807.

0036The logic simulation processor 4 or 5 again receives that event, calculates the operation of the logic circuit to be simulated and delivers to the signal line 803 or 808 an event representative of results of calculation and having blue color.

0037The time storage unit 6 stores the value on the signal line 804 when receiving the time store signal from the signal line 805 and the value on the signal line 809 when receiving the time store signal from the signal line 810, and delivers to the signal line 812 one of values ultimately stored in the time storage from the signal lines 804 and 809 which is not larger than the other.

0038The current time output unit 1 stats to update the current time when both of the signal lines 806 and 811 assume false values and increases the current time one by one as far as the current time is smaller than the value on the signal line 812 and the values on the signal lines 806 and 811 both assume false values. When the current time coincides with the value on the signal line 812 or at least one of values on the signal lines 806 and 811 assumes the true value, the current time output unit 1 stops updating the current time.

0039In the logic simulation apparatus of the present embodiment, the injection event delivered out of the event injection unit has red color until it is stored in the event storage of the logic simulation processor, and the event including a first event once stored in the event storage and taken out thereof and a second event resulting from processing of the first event has blue color to distinguish the injection event from the latter event by using color. In addition, a minimum of values of event times of injection events expected to be stored in the event storage in the future is stored in the time storage unit to limit the range of updating of the current time to below the value stored in the time storage, thereby ensuring that even in the presence of an event having red color in the logic simulation processor, updating of the current time can be started whenever on event having blue color exists in the logic simulation processor and no event having event time coincident with the current time exists in the event storage.

0040In the logic simulation apparatus of the present embodiment, the logic simulation processor 4 delivers the true value to the signal line 806 when a blue event exists in the processor 4 or an event having event time coincident with the current time exists in the event storage 7 and it delivers the false value to the signal line 806 when no blue event exists in the processor 4 or no event having event time coincident with the current time exists in the event storage 7. In an alternative, all of pipeline stages excepting the event storage in the logic simulation processor may be provided with comparators to compare event time of an event in each pipeline stage with the current time, thereby permitting the logic simulation processor 4 to deliver the true value to the signal line 806 when a blue event having event time coincident with the current time exists in the processor 4 or an event having event time coincident with the present time exists in the event storage 7 and to deliver the false value to the signal line 806 when no blue event having event time coincident with the current time exists in the processor 4 or no event having event time coin­cident with the current time exists in the event storage 7. This is true for the logic simulation processor 5. Since in this modification the current time can be updated even during processing of the blue event by the logic simulation processor, speed-up of simulation can be promoted.

0041Fig. 13 is a flow chart showing an example of algorithm for calculation of auxiliary time.

0042The number of injection events is represented by N and injection events are designated by E[1] to E[N] in sequence of injection.

0043Auxiliary times of the event E[N], E[N-1], E[N-2], ..., E[2] and E[1] are sequentially calculated as below.

0044Firstly, auxiliary time of the event E[N] is set to be unlimited value which is the largest of event times of any events. Subsequently, auxiliary time of event E[j], where <u style="single">j</u> is variable, is set to one of auxiliary time of event E[j+1] and event time of the same event E[j+1] which is larger than the other while designating individual events by sequentially decreasing the value of variable <u style="single">j</u> from N-1 to 1.

0045Using this algorithm, auxiliary times of all the injection events E[1] to E[N] can be calculated in the order proportional to the number N of the injection events.

0046Fig. 2 schematically illustrates a first embodi­ment of the logic simulation processor according to the invention. Referring to Fig. 2, the processor comprises buffer memories 11 and 12, pipeline stages 13, 15 and 16, an event storage 14 and an OR gate 17. Denoted by 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 800, 802, 803, 804, 805 and 806 are signal lines.

0047The buffer memory 11 can store a plurality of events and it receives an event having blue color from the signal line 802 to store it temporarily. The buffer memory 11 delivers to the signal line 900 stored events in sequence of storage. The buffer memory 11 is also operable to deliver the true value to the signal line 901 when an even exists in the memory 11 and to deliver the false value to the signal line 901 when no event exists in the memory 11.

0048The buffer memory 12 can store a plurality of events and it receives an event having red color from the signal line 802 to store it temporarily. The buffer memory 12 delivers to the signal line 902 stored events in sequence of storage.

0049The pipeline stage 13 receives events from the signal lines 900 and 902 and delivers to the signal line 903 receives events without alternation. When the pipeline stage 13 is ready to receive events from both of the signal lines 900 and 902, it preferentially receives an event on the signal line 900. The pipeline stage 13 is also operable to deliver the true value to the signal line 904 when a blue event exists in the stage 13 and deliver the false value to the signal line 904 when no blue event exists in the stage 13.

0050As an example, the following description will be given on the assumption that the event <u style="single">b</u> shown in Fig. 11 is delivered to the signal line 903.

0051The event storage 14 receives the event <u style="single">b</u> from the signal line 903, removes the color C1 and auxiliary time t1 from the event <u style="single">b</u> to form the event <u style="single">c</u> and stores the event <u style="single">c</u> while erasing the event <u style="single">b</u>. When the color C1 of the event <u style="single">b</u> was red, the event storage 14 delivers the auxiliary time t1 of the event <u style="single">b</u> to the signal line 804 and the time store signal to the signal line 805. When the color C1 of the event <u style="single">b</u> was blue, the event storage 14 delivers no signal to both of the signal lines 804 and 805. The event storage 14 is also operable to read current time on the signal line 800 so as to deliver the true value to the signal line 906 when an event having event time coincident with the current time exists in the storage 14 and deliver the false value to the signal line 906 when no event having event time coincident with the current time exists in the storage 14.

0052Given the current time being T2, the pipeline stage 15 reads the current time on the signal line 800, takes out of the event storage 14 through the signal line 905 one of events having event time T2 coincident with the current time, that is, the event <u style="single">d</u>, delivers to the signal line 907 the event <u style="single">e</u> equal to the event <u style="single">d</u> added with blue color C2 and erases the event <u style="single">d</u>. The pipeline stage 15 is also operable to deliver the true value to the signal line 908 when an event exists in the stage 15 and deliver the false value to the signal line 908 when no event exists in the stage 15.

0053The pipeline stage 16 receives the event <u style="single">e</u> from the signal line 907, performs evaluation process and transmission process to calculate a signal status change in the logic circuit to be simulated which is caused by a signal status change represented by the event <u style="single">e</u>, and delivers to the signal line 803 the event <u style="single">f</u> representative of results of calculation. The event <u style="single">e</u> is then erased. The pipeline stage 16 always makes blue an event delivered to the signal line 803. The pipeline stage 16 is also operable to deliver the true value to the signal line 909 when an event exists in the stage 16 and deliver the false value to the signal line 909 when no event exists in the stage 16.

0054The OR gate 17 delivers the true value to the signal line 806 when at least one of values on the signal lines 901, 904, 908 and 909 assumes the true value and delivers the false value to the signal line 806 when all of the values on the signal lines 901, 904, 906, 908 and 909 assume the false value.

0055In accordance with the logic simulation processor of the present embodiment, red color of the injection event remains unchanged before the injection event is stored in the event storage and color of the event including a first event once stored in the event storage and then taken out thereof and a second event resulting from processing of the first event is made blue to distinguish the injection event from the latter event in color, thereby ensuring that when no event having event time coincident with the current time exists in the event storage and no blue event exists in the buffer memories and individual pipeline stages, the false value can be delivered to the signal line 806 regardless of the presence or absence of a red event in the logic simulation processor.

0056Also, in the logic simulation processor of the present embodiment, the event is stored in either one of different buffer memories depending on whether color of the event is red or blue and the blue event is prefer­entially processed in order that processing of the blue event can be prevented from being retarded by the presence of the red event.

0057In this embodiment, the buffer memory 11 delivers the true value to the signal line 901 when an event exists in the memory 11 but the false value when no event exists in the memory 11, the pipeline stage 13 delivers the true value to the signal line 904 when a blue event exists in the stage 13 but the false value when no blue event exists in the stage 13, the pipeline stage 15 delivers the true value to the signal line 908 when an event exists in the stage 15 but the false value when no event exists in the stage 15, and the pipeline stage 16 delivers the true value to the signal line 909 when an event exists in the stage 16 but the false value when no event exists in the stage 16. In an alternative, the buffer memory 11, pipeline stage 13, pipeline stage 15 and pipeline stage 16 may respectively be provided with internal comparators by which event time of an event present in each of the above components can be compared with current time on the signal line 800, whereby the buffer memory 11 may deliver to the signal line 901 the true value when an event having event time coincident with the current time exists in the memory 11 but the false value when no event having event time coincident with the current time exists in the memory 11, the pipeline stage 13 may deliver to the signal line 904 the true value when a blue event having event time coincident with the current time exists in the stage 13 but the false value when no blue event having event time coincident with the current time exists in the stage 13, the pipeline stage 15 may deliver to the signal line 908 the true value when an event having event time coincident with the current time exists in the stage 15 but the false value when no event having event time coincident with the current time exists in the stage 15, and the pipeline stage 16 may deliver to the signal line 909 the true value when an event having event time coincident with the current time exists in the stage 16 but the false signal when no event having event time coincident with the current time exists in the stage 16. The logic simulation apparatus utilizing the logic simulation processor constructed as above can start, even in the presence of the blue event in the logic simulation processor, updating of the current time when a blue event having event time coincident with the present time disappears in the logic simulation processor.

0058Fig. 3 shows the construction of an embodiment of the current time output unit according to the inven­tion. Referring to Fig. 3, the current time output unit comprises a counter 21, a control means 22, and an OR gate 23 with signal lines 910, 911, 800, 806, 811 and 812 connected to the above components.

0059The OR gate 23 delivers to the signal line 911 the true value when at least one of the signal lines 806 and 811 assumes the true value but the false value when both of the signal lines 806 and 811 assume the false value.

0060The counter 21 always delivers current time to the signal line 800.

0061Prior to start of simulation, the control means 22 delivers to the signal line 910 an instruction for initializing the current time. When receiving the current time initialization instruction from the signal line 910, the counter 21 sets the current time to zero.

0062During execution of simulation, the control means 22 reads values on the signal lines 800, 812 and 911 and delivers an instruction for updating the current time when the value on the signal line 800 is smaller than that on the signal line 812 and the signal line 911 assumes the false value. The control means 22 does not deliver the present time update instruction when the values on the signal lines 800 and 812 are equal to each other or the signal line 911 assumes the true value.

0063When receiving the current time update instruction from the signal line 910, the counter 21 increments the current time by one.

0064Fig. 4 shows the construction of a first embodiment of the time storage unit according to the invention. Referring to Fig. 4, the time storage unit comprises data hold means 31 and 32 and a minimum value selection means 33 with signal lines 912, 913, 804, 805, 809, 810 and 812 connected to the above components.

0065The data hold means 31 stores a value on the signal line 804 when receiving a time store signal from the signal line 805 and then delivers a previously stored value to the signal line 912. The data hold means 31 continues to deliver zero signal to the signal line 912 before it receives the initial time store signal from the signal line 805.

0066The data hold means 32 stores a value on the signal line 809 when receiving a time store signal from the signal line 810 and then delivers a previously stored value to the signal line 913. The data hold means 32 continues to deliver zero signal to the signal line 913 before it receives the initial time store signal from the signal line 810.

0067The minimum value selection means 33 reads the values on the signal lines 912 and 913 and delivers to the signal line 812 one of the values on the signal lines 912 and 913 which is not larger than the other.

0068Referring now to Fig. 5, a second embodiment of the logic simulation apparatus according to the invention is illustrated in schematic block form. The apparatus shown in Fig. 5 comprises a current time output unit 41, an even injection unit 42, a network 43, logic simulation processors 44 and 45, a noticed color presence decider unit 46, a noticed color designating unit 47, a time storage unit 48, a coloring unit 49 and event storage units 7 and 8. Denoted by 800, 801, 802, 803, 806, 807, 808, 811, 812, 813, 814, 815, 816, 817, 818, 819 and 820 are signal lines.

0069Fig. 12 shows a second example of structures of data or event processed by the logic simulation apparatus of the invention. Individual events <u style="single">g</u>, <u style="single">h</u>, <u style="single">i</u>, <u style="single">j</u>, <u style="single">k</u>, <u style="single">m</u> and <u style="single">n</u> have event time T5, T6 or T7, post-status S5, S6 or S7, additional information OTHERS 5, OTHERS 6 or OTHERS 7, color C5, C6 or C7, destination identifier D5 or D7 and auxiliary time t5.

0070The current time output unit 41 delivers present time onto the signal line 800. The initial value of the current time is zero. It is assumed here that the current time is T6.

0071The event injector 42 stores a set of injection events each having event time, post-status, additional information, destination identifier and auxiliary time calculated pursuant to the algorithm shown in Fig. 13. Auxiliary times are calculated collectively for all injection events regardless of destination identifiers of individual injection events.

0072For convenience of explanation, the following description will be given on the assumption that one of the injection events is represented by the event <u style="single">g</u> having event time T5 where T5 ≧ T6, post-status S5, additional information OTHERS 5, destination identifier D5 and auxiliary time t5.

0073The event injector 42 delivers to the signal line 801 the event <u style="single">h</u> identifical to the event <u style="single">g</u> removed of the auxiliary time t5 and at the same time it delivers the auxiliary time t5 to the signal line 820. The event injector 42 continues to deliver zero output signal to the signal line 820 before it delivers the initial injection event to the signal line 801.

0074The coloring unit 49 selects one of red and yellow colors to deliver to the signal line 819 a C5 value of the selected color. The coloring unit 49 is operable to deliver to the signal line 819 red color as the initial value of color.

0075The network 43 receives the event <u style="single">h</u> from the signal line 801 and the color C5 from the signal line 819, and when the destination identifier D5 of the event <u style="single">h</u> designates the logic simulation processor 44, it delivers to the signal line 802 the event <u style="single">i</u> identical to the event <u style="single">h</u> removed of the destination identifier D5 but instead added the color C5 and when the destination identifier D5 designates the logic simulation processor 45, it delivers the event <u style="single">j</u> to the signal line 807.

0076As an example, the following description will be given on the assumption that the destination identifier D5 designates the logic simulation processor 44.

0077The logic simulation processor 44 has the event storage unit 7 for storing events. When the logic simulation processor 44 receives the event <u style="single">i</u> from the signal line 802, it removes the color C5 from the event <u style="single">i</u> to form the event <u style="single">i</u> which in turn is temporarily stored in the event storage 7.

0078The logic simulation processor 44 reads current time from the signal line 800 and takes out of the event storage 7 one of events which has event time T6 coincident with the present time, that is, the event <u style="single">k</u> having the post-status S6 and additional information OTHERS 6. The logic simulation processor 44 adds blue color C6 to the event <u style="single">k</u> to form the event <u style="single">m</u>, calculates a signal status change in the logic circuit to be simulated which is caused by a signal status change represented by the event <u style="single">m</u>, and delivers to the signal line 803 the event <u style="single">n</u> representative of results of calculation and having event time T7, post-status S7 and additional information OTHERS 7. The logic simulation processor 44 is also operable to add destination identifier D7 of the event <u style="single">n</u> which designates a logic simulation processor expected to process the event <u style="single">n</u>. The logic simulation processor 44 always make color of an event to be delivered to the signal line 803 blue. Accordingly, color C7 of the event <u style="single">n</u> is blue. The event <u style="single">j</u> stored in the event storage 7 is taken out thereof when current time coincides with T5.

0079The logic simulation processor 44 is also operable to deliver to the signal line 806 the true value when a blue event exists in the processor 44 or an event having event time coincident with the current time exists in the event storage 7 but the false value when no blue event exists in the processor 44 or no event having event time coincident with the current time exists in the event storage 7.

0080Also, the logic simulation processor 44 is operable to deliver to the signal line 813 the true value when a red event exists in the processor 44 but the false value when no red event exists in the processor 44 and to deliver to the signal line 814 the true value when a yellow event exists in the processor 44 but the false value when no yellow event exists in the processor 44.

0081In the above description, the procedures through which the logic simulation processor 44 first receives the event <u style="single">i</u> and ultimately delivers the event <u style="single">n</u> have been described sequentially but the logic simulation processor 44 may process a plurality of events simultaneously through pipeline processing.

0082If the destination identifier D5 of the event <u style="single">h</u> designates not the logic simulation processor 44 but the logic simulation processor 45, the logic simulation processor 45 receives the event <u style="single">i</u> from the signal line 807 and, like the logic simulation processor 44, removes the color C5 from the event <u style="single">i</u> to form the event <u style="single">j</u> which in turn is stored in the event storage 8. The processor 45 is also operable to take out of the event storage 8 an event having event time coincident with the current time and deliver to the signal line 808 an event representative of calculation results and having blue color. Then, the processor 45 is operable to deliver to the signal line 811 the true value when a blue event exists in the processor 45 or an event having event time coincident with the current time exists in the event storage 8 but the false value when no blue event exists in the processor 45 and no event having event time coincident with the present time exists in the event storage 8. Further, the logic simulation processor 45 delivers to the signal line 815 the true value when a red event exists in the processor 45 but the false value when no red event exists and it delivers to the signal line 816 the true value when a yellow event exists in the processor 45 but the false value when no yellow event exists in the processor 45.

0083The logic simulation processor 44 and 45 connected in parallel with each other can be operated independently to perform parallel processing.

0084The network 43 receives the event flow the signal line 803 or 808, that is, the event <u style="single">n</u>. When the destination identifier D7 designates the logic simulation processor 44, the network 43 delivers to the signal line 802 an event identical to the event <u style="single">n</u> removed of the destination identifier D7 and when the destination identifier D7 designates the logic simulation processor 45, it delivers the same event to the signal line 807.

0085The logic simulation processor 44 or 45 again receives that event, calculates the operation of the logic circuit to be simulated and delivers to the signal line 803 or 808 an event representative of results of calculation and having blue color.

0086The noticed color designating unit 47 selects either one of red and yellow colors to deliver to the signal line 817 the selected color as noticed color. The initial value of noticed color is yellow.

0087In response to values delivered from the logic simulation processor 44 to the signal lines 813 and 814, values delivered from the logic simulation processor 45 to the signal lines 815 and 816 and noticed color delivered from the noticed color designating unit 47 to the signal line 817, the noticed color presence decider 46 delivers a color change instruction to the signal line 818 when an event having the noticed color does not exist in any one of the logic simulation processors 44 and 45. The noticed color presence decider 46 does not deliver the color change instruction to the signal line 818 when an event having the noticed color exists in at least one of the logic simulation processors 44 and 45.

0088When receiving the color change instruction from the signal line 818, the coloring unit 49 changes color to be delivered to the signal line 819 from red to yellow or vice versa.

0089The noticed color designating unit 47 also being in receipt of the color change instruction from the signal line 818 changes the noticed color to be delivered to the signal line 817 from yellow to red or vice versa.

0090When the time storage unit 48 receives the color change instruction from the signal line 818, it reads from the signal line 820 auxiliary time of the event which the event injector 42 has injected and stores the auxiliary time. The time storage 48 is also operable to deliver to the signal line 812 a value which the time storage 48 has stored from the signal line 820 by responding to a color change instruction one-preceding a color change instruc­tion finally received from the signal line 818. Also, the time storage 48 continues to deliver zero signal to the signal line 812 before it receives the second occurrence of color change instruction from the signal line 818.

0091The current time output unit 41 starts to update the current time when both of the signal lines 806 and 811 assume the false value and increments the current time by one as far as the current time is smaller than the value on the signal line 812 and the values on both the signal lines 806 and 811 remain false. The current time output unit 41 stops updating the current time when the current time coincides with the value on the signal line 812 or at least one of the signal lines 806 and 811 assumes the true value.

0092In accordance with the logic simulation apparatus of the present embodiment, the present time never exceeds event times of injection events expected to be stored in the event storage in the future, as will be explained below with reference to sections (A), (B) and (C) in Fig. 14 which is useful to explain the change of color of events used in the logic simulation apparatus of the invention. In Fig. 14, red events are denoted by R1 and yellow events by Y2, Y3 and Y4.

0093The following description will be given on the assumption that the presence of blue event is omitted and only red and yellow injection events (simply referred to as events except when full terming is particularly needed) are noticed. When considering the status which occurs before the event injector 42 delivers an injection event to the signal line 801, any event having red or yellow color does not exist in the logic simulation processor 44 or 45 under this status and the noticed color presence decider 46 delivers to the signal line 818 a color change instruction regardless of noticed color on the signal line 817.

0094In response to the color change instruction, the coloring unit 49 changes color to be delivered to the signal line 819 from red to yellow or vice versa and the noticed color designating unit 47 changes noticed color to be delivered to the signal line 817 from yellow to red or vice versa. At that time, the time storage unit 48 stores a value on signal line 820 which is zero.

0095The noticed color presence decider 46 continues to deliver the color change instruction to the signal line 818 until the event injector 42 delivers the initial event to the signal line 801.

0096Assuming that when the event injector 42 delivers the initial event to the signal line 801, color delivered from the coloring unit 49 to the signal line 819 is red and noticed color delivered from the noticed color designating unit 47 to the signal line 817 is yellow, a red event received by the logic simulation processor 44 or 45 is represented by R1. The following description will be given on the assumption that injection events are all received by the logic simulation processor 44 (or 45).

0097When the event injector 42 delivers the initial injection event to the signal line 801 and the logic simulation processor 44 receives an event R1, the event existing in the logic simulation processor 44 (or 45) is represented by only the red event R1 as shown at (A) in Fig. 14. Accordingly, no event having noticed color exists in the logic simulation processor 44 (or 45) and the noticed color presence decider 46 therefore delivers a color change instruction to the signal line 818, causing the color on the signal line 819 to change to yellow and the noticed color to change to red. The time storage 48 then operates to store auxiliary time corresponding to the event R1, that is, a minimum of values of event times of events delivered to the signal line 801 after the event R1, but zero value on the signal line 812 remains unchanged.

0098Thereafter, since the event having the noticed color (red) exists in the logic simulation processor 44 (or 45) before the event storage 7 stores the event R1, no color change instruction is delivered to the signal line 818 and the color on the signal line 819 and noticed color on the signal line 817 are not changed. Given that during this period, yellow events Y2, Y3 and Y4 are received by the logic simulation processor 44, the events R1, Y2, Y3 and Y4 exist in the logic simulation processor 44 (or 45) as shown at (B) in Fig. 14.

0099When the event R1 is stored in the event storage 7, only the injection events Y2, Y3 and Y4 exist in the logic simulation processor 44 (or 45) and no event having the noticed color (red) exists as shown at (C) in Fig. 14, a color change instruction is again delivered to the signal line 818, causing the color on the signal line 819 to change to red and noticed color on the signal line 817 to change to yellow. Then, the time storage 48 stores auxiliary time corresponding to the event Y4 and delivers to the signal line 812 auxiliary time corresponding to the event R1.

0100At that time, the upper limit related to the injection events and used to limit updating of current time obviously corresponds to a minimum of event times of events stored in the event storage 7 (or 8) after the event Y2, that is, the value on the signal line 812. Subsequently, the color on the signal line 819, noticed color on the signal line 817 and value on the signal line 812 are each changed sequentially in a similar manner to change the upper limit for updating the present time.

0101As described above, the logic simulation apparatus of the present embodiment can determine the range within which the current time can be updated even when the auxiliary time is removed from an even received by the logic simulation processor.

0102Therefore, in comparison with the logic simula­tion apparatus shown in Fig. 1, the logic simulation apparatus of this embodiment can reduced data width of events processed by the logic simulation processor and hardware of the logic simulation processor.

0103The logic simulation apparatus according to the present embodiment is also advantageous in that the auxiliary time which the time storage must store is only the value on the signal line 820.

0104Fig. 6 shows the construction of an embodiment of the coloring unit according to the invention. Referr­ing to Fig. 6, the coloring unit comprises a true/false value storage means 51 and a color output means 52 with signal lines 915, 818 and 819 connected to the above components.

0105The true/false value storage means 51 selects and stores either one of true and false values and it then delivers the stored value to the signal line 915. The true/false value storage means 51 stores the true value as initial value. When receiving a color change instruction from the signal line 818, the true/false value storage means 51 causes the value stored and then delivered to the signal line 915 to change from true value to false value or vice versa.

0106The color output means 52 reads the value on the signal line 915 and delivers to the signal line 819 red color when the read value is the true value but yellow color when the read value is the false value.

0107Fig. 7 show the construction of an embodiment of the noticed color designating unit according to the invention. Referring to Fig. 7, the noticed color designating unit comprises a true/false value storage means 61 and a color output means 62 with signal lines 916, 817 and 818 connected to the above components.

0108The true/false value storage means 61 selects and stores either one of true and false values and it then delivers the stored value to the signal line 916. The true/false value storage means 61 stores the true value as initial value. When receiving a color change instruction from the signal line 818, the true/false value storage means 61 causes the value stored and then delivered to the signal line 916 to change from false value to true value or vice versa.

0109The color output means 62 reads the value on the signal line 916 and delivers to the signal line 817 red color when the read value is the true value but yellow color when the read value is the false value.

0110Fig. 8 shows the construction of a second embodiment of the logic simulation processor according to the invention. Referring to Fig. 8, the processor comprises buffer memories 11 and 71, counters 72 and 73, pipeline stages 74, 15 and 16, an event storage 75 and OR gates 17, 76 and 77 with signal lines 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 920, 921, 922, 923, 924, 925, 800, 802, 803, 806, 813 and 814 connected to the above components.

0111The buffer memory 11 can store a plurality of events and it receives an event having blue color from the signal line 802 to store it temporarily. The buffer memory 11 delivers to the signal line 900 stored events in sequence of storage. The buffer memory 11 is also operable to deliver the true value to the signal line 901 when an event exists in the memory 11 and to deliver the false value to the signal line 901 when no event exists in the memory 11.

0112The buffer memory 71 can store a plurality of events and it receives an event having red or yellow color from the signal line 802 to store it temporarily. The buffer memory 71 delivers an addition instruction to the signal line 920 when the color of the event received from the signal line 802 is red but it delivers an addition instruction to the signal line 921 when the color of the event received from the signal line 802 is yellow.

0113The buffer memory 71 delivers to the signal line 902 stored events in sequence of storage. After deliver­ing an event, the buffer memory 71 delivers a subtraction instruction to the signal line 920 when the delivered event has red color but it delivers a subtraction instruction to the signal line 921 when the delivered event has yellow color.

0114The counter 72 counts the number of red events stored in the buffer memory 71. The initial value of count is zero. The counter 72 increments by one the count when receiving the addition instruction from the signal line 920 and decrements by one the count when receiving the subtraction instruction from the signal line 920. The counter 72 is also operable to deliver to the signal line 922 the false value when the count is zero but the true value when the count is not zero.

0115The counter 73 counts the number of yellow events stored in the buffer memory 71. The initial value of count is zero. The counter 73 increments by one the count when receiving the addition instruction from the signal line 920 and decrements by one the count when receiving the subtraction instruction from the signal line 921. The counter 73 is also operable to deliver to the signal line 923 the false value when the count is zero but the true value when the count is not zero.

0116The pipeline stage 74 receives events from the signal lines 900 and 902 and delivers to the signal line 903 received events without alternation. When the pipeline stage 74 is ready to receive events from both of the signal lines 900 and 902, it preferentially receives an event on the signal line 900. The pipeline stage 74 is also operable to deliver to the signal line 904 the true value when the event processed by the stage 74 has blue color but the false value when the event processed does not have blue color, delivers to the signal line 924 the true value when the event processed has red color but the false value when the event processed does not have red color and delivers to the signal line 925 the true value when the event processed has yellow color but the false value when the event processed does not have yellow color. When the pipeline stage 74 processes no event, it delivers the false value to all of the signal lines 904, 924 and 925.

0117As an example, the following description will be given on the assumption that the event <u style="single">i</u> shown in Fig. 12 is delivered to the signal line 903.

0118The event storage 75 receives the event <u style="single">i</u> from the signal line 903, removes the color C5 from the event <u style="single">i</u> to form the event <u style="single">j</u> and stores the event <u style="single">j</u> while erasing the event <u style="single">i</u>. The event storage 75 is also operable to read current time on the signal line 800 so as to deliver to the signal line 906 the true value when an event having event time coincident with the current time exists in the storage 75 but the false signal when no event having event time coincident with the current time exists in the storage 75.

0119Given the current time being T6, the pipeline stage 15 reads the current time on the signal line 800, takes out of the event storage 75 through the signal line 905 one of events having event time T6 coincident with the current time, that is, the event <u style="single">k</u>, delivers to the signal line 907 the event <u style="single">m</u> equal to the event <u style="single">k</u> added with blue color C6 and erases the event <u style="single">k</u>. The pipeline stage 15 is also operable to deliver to the signal line 908 the true value when an event exists in the stage 15 but the false value when no event exists in the stage 15.

0120The pipeline stage 16 receives the event <u style="single">m</u> from the signal line 907, performs evaluation process and transmission process to calculate a signal status change in the logic circuit to be simulated which is caused by a signal status change represented by the event <u style="single">m</u> , and delivers to the signal line 803 the event <u style="single">n</u> representative of results of calculation. The event <u style="single">m</u> is then erased. The pipeline stage 16 always makes blue an event delivered to the signal line 803. The pipeline stage 16 is also operable to deliver to the signal line 909 the true value when an event exists in the stage 16 but the false value when no event exists in the stage 16.

0121The OR gate 17 delivers to the signal line 806 the true value when at least one of values on the signal lines 901, 904, 906, 908 and 909 assumes the true value but the false value when all of the values on the signal lines 901, 904, 906, 908 and 909 assume the false value.

0122The OR gate 76 delivers to the signal line 813 the true value when at least one of values on the signal lines 922 and 924 assumes the true value but the false value when both of the values on the signal lines 922 and 924 assume the false value.

0123The OR gate 77 delivers to the signal line 814 the true value when at least one of values on the signal lines 923 and 925 assumes the true value but the false value when the values on the signal lines 923 and 925 both assume the false value.

0124In accordance with the present embodiment, the logic simulation processor can be realized which can deliver signals indicating whether either of events having red color and yellow color exists in its own processor.

0125In the logic simulation processor of the present embodiment, the two buffer memories are provided. Alternatively, however, buffer memories respectively dedicated to red, yellow and blue colors may be provided so that the signal line 922 may receive from a buffer memory for storage of red event the true value when an event exists in the red event storage buffer memory but the false value when no event exists in the red event storage buffer memory, and the signal line 923 may receive from another buffer memory for storage of yellow event the true value when an event exists in the yellow event storage buffer memory but the false value when no event exists in the yellow event storage buffer. With this construction, the counters respectively adapted to count the number of events of one color stored in the signal buffer memory and the number of events of different color stored in the same buffer memory may be omitted.

0126Conversely, a single buffer memory and three counters may be provided in order to count the number of events in different groups stored in the single buffer memory and having different colors. With this construction, the number of buffer memories used can be reduced.

0127Fig. 9 shows the construction of an embodiment of the noticed color presence decider according to the invention. Referring to Fig. 9, the noticed color presence decider comprises OR gates 81 and 82 and an instruction output means 83 with signal lines 930, 931, 813 814, 815, 816, 817 and 818 connected to the above components.

0128The OR gate 81 reads values on the signal lines 813 and 815 and delivers to the signal line 930 the true value when at least one of the values on the signal lines 813 and 815, is the true value but the false value when both of the values on the signal lines 813 and 815 assume the false value.

0129The OR gate 82 reads values on the signal lines 814 and 816 and delivers to the signal line 931 the true value when at least one of the values on the signal lines 814 and 816 is the true value but the false value when both of the values on the signal lines 814 and 816 assume the false value.

0130The instruction output means 83 delivers a color change instruction to the signal line 818 when the value on the signal line 817 is red and the value on the signal line 930 is the false value or when the value on the signal line 817 is yellow and the value on the signal line 931 is the false value. Excepting the above cases, the instruction output means 83 delivers no color change instruction.

0131Fig. 10 shows the construction of a second embodiment of the time storage unit according to the invention. Referring to Fig. 10, the time storage unit comprises data hold means 91 and 92 with signal lines 932, 820, 812 and 818 connected thereto.

0132The data hold means 91 stores a value on the signal line 820 and then delivers a previously stored value to the signal line 932.

0133The data hold means 92 stores a value on the signal line 932 and then delivers a previously stored value to the signal line 812.

0134Both of the data hold means 91 and 92 store zero value as initial value.

0135When receiving a color change instruction from the signal line 818, the data hold means 91 stores a value appearing on the signal line 820 at that time and then delivers a previously stored value to the signal line 932.

0136When receiving a color change instruction from the signal line 818, the data hold means 92 stores a value which has been delivered from the data hold means 91 to the signal line 932 before storage of a new value by the data hold means 91 and then delivers a previously stored value to the signal line 812.

0137With this construction, the time storage unit can be realized which can deliver, when receiving a color change instruction from the signal line 818, to the signal line 812 a value appearing on the signal line 820 when a one-preceding color change instruction is received.