JPH0488564A - Verifier for integrated circuit - Google Patents

Abstract

PURPOSE:To verify a function in the design stage of a circuit by updating the element function of the circuit by updated wiring status, updating the output status of an element by operating an updated element function, and repeating such operation. CONSTITUTION:A rotary ring type event storage(CRIM) 6 stores an event signal as identifying by the position of registration, the difference and the value of input time, and outputs a storage signal to a net state updating part(NR) 7 corresponding to the rotation of the signal. The NR 7 updates net information by the output of the CRIM 6 at need. An element updating part(CIR) 10 decides which element is set in an operating state when the net information is inputted. An element evaluation part(CE) 12 judges how the element should be functioned by the output of the CIR 10. An element output updating part 5 updates the operating status of the element by the output of the CE 12, and also, outputs an output signal to an event selection part 4. A signal is outputted from the NR 7 to specific equipment at need as repeating such operation, thereby, the verification of circuit design can be performed.

Description

DETAILED DESCRIPTION OF THE INVENTION (Field of Industrial Application) The present invention relates to a verification device for verifying whether an integrated circuit for a specific application such as a vending machine operates normally.

(Prior Art and its Problems) Conventionally, there has been no equipment for verifying whether integrated circuits for specific applications operate normally.

For this reason, in the past, the reality was that it was impossible to know whether an integrated circuit for a specific application would function properly until it was actually manufactured.

Moreover, in order to create it, I had to take the following steps. In other words, first design the circuit, create a breadboard, and test on the breadboard whether the design itself is working or not.

It takes about 1-2 months to create this pretboard. Therefore, if the circuit does not function properly at this stage, the breadboard must be rebuilt.

If the above breadport test goes well, we will then create a customer sample, repeat the test, and finally mass-produce the product.

With the conventional method as described above, there is a problem in that it is not known whether or not the circuit will function properly until the circuit is actually constructed.

Furthermore, if it is found that the system does not function properly at the bread hoarding or customer sample stage, there is a problem in that it requires a great deal of time and effort to look into the problem from the design stage.

An object of the present invention is to provide a device that can verify whether or not an integrated circuit functions normally at the stage of designing an integrated circuit that has a specific application.

(Means for Solving the Problems) The present invention includes an element storage section that stores the functions of elements of an integrated circuit, a net storage section that stores the wiring status of the integrated circuit,
An event selection section that selectively inputs event signals; and an event selection section that identifies and stores event signals from the event selection section based on registration positions, input time differences, and their values; a rotating ring type event storage unit that outputs the above, and a net status updating unit connected to the net storage unit and updating the net information from the net storage unit in accordance with an output signal from the rotating ring type event storage unit; an element input update section that is connected to the element storage section and updates the element information from the element storage section in response to an output signal from the net state update section; , an element evaluation unit that determines how to operate each element, and an element output update that updates the output status of the element according to the output signal of this element evaluation unit and outputs the signal to the event selection unit. The present invention is characterized in that it includes an element output storage unit that stores the update status of the element output update unit and outputs the stored output status of the element to the element output update unit.

(Operation of the present invention) The contents of the designed circuit are input in advance to the net storage section and the element storage section.

When an event signal is input from the outside, the input signal is stored in the rotating ring type event storage section.

This rotating ring type event storage unit stores the signal while identifying it based on the registration position, input time difference, and its value. Then, according to the rotation, a storage signal is output to the net state update section.

The network status update unit stores the network information stored in the network storage unit that has been securely stored. This information is updated each time by an output signal from the rotating ring type event storage section, and the updated net information is stored again in the net storage section.

The net information updated by the net state update section is input to the element input update section. The status of each element in the circuit is input to the element input updating unit from the element storage unit. When the above net information is input to the element input update unit configured as above, it determines which element is in the operating state,
Update the status of the element stored in the element storage unit.

The element evaluation section functions based on the output signal from the element input updating section, and determines how the element should function.

A predetermined element operates according to the output signal of the element evaluation section, and its status is updated by the element output updating section and stored in the element output storage section.

Further, the output signal from the element output updating section is input to the event selection section and then input again to the rotating ring type event storage section.

As the above operation is repeated, a signal is output from the network status update section to a specific device such as a vending machine.

If a specific device that receives a signal does not operate as expected, the circuit in question will not function properly, indicating that there was a mistake in the design stage. On the other hand, if the device in question functions normally, it can be determined that the design of the circuit in question is correct.

(Effects of the Present Invention) According to the verification device of the present invention, it is possible to determine whether or not the circuit functions normally at the stage of circuit design.
The problem of it taking a long time to determine whether the circuit is correct or not is solved at once.

(Embodiment of the present invention) In the embodiment shown in FIG. 1, an external event extraction section 1, an external event transmission section 2, and a real time clock 3 are connected to the simulation section a.

The external event extraction section 1 is connected to a specific device such as a vending machine (not shown), and extracts a signal indicating that a coin has been inserted, and sends it to the simulation section a. The event external sending unit 2 includes a simulation unit a
This is for transmitting the signals output from the device to the specific equipment mentioned above.

The real time clock 3 functions to synchronize the operation of the simulation section a with the actual clock time.

The configuration of the simulation section a is as follows.

The signal from the external event extractor 1 is input to the event selector 4. However, this event selection section 4 also receives a signal from an element output updating section 5, which will be described later. When signals are input from both the external event extractor 1 and the element output updater 5, the older signal is given priority and input to the rotating ring event storage 6.

The rotating ring type event storage section 6 stores the event signal from the event selection section 4 without identifying it by the registered position, input time difference, and its value.
In accordance with the rotation, a memory number is output to the net state updating section 7.

Note that an overflow event storage section 8 is also connected to the rotating ring type event storage section 6. This overflow event storage section 8 is a storage section based on a first-in, first-out mechanism, and stores event signals overflowing from the rotating ring type event storage section 6. If there is extracted data in the overflow event storage section 8 while the rotating ring type event storage section 6 is rotating, it is extracted from the storage section 6 and output to the net state update section 7.

A net status update section 7 that receives signals from the rotating ring type event storage section 6 is connected to the net storage section 9 . This net storage section 9 roughly stores net data corresponding to wiring connecting the components of the circuit. Then, the net status update section 7 updates the previously stored net information in accordance with the output signal of the rotating ring type event storage section 6, and registers it in the net storage section 9 again.

Furthermore, this net state update section 7 includes the element input update section 1
0, this element input update section 10 is connected to an element storage section 11. The element storage section 11 stores in advance element data corresponding to components that process electrical signals of the circuit, and also inputs the element data to the element input section 10.

Then, as described above, the element data stored in advance is updated in accordance with the signal from the net state update section 7, and the updated data is output to the element evaluation section 12.

The element evaluation section 12 evaluates the element data pressed from the element input update section 10 to determine the pressure of a predetermined element, and sends the element data to the element storage section 11 and the element output update section 5.

The element output update section 5 generates event data based on the element data, and sends the event data to the event selection section 4 and the element output storage section 13.

Next, the operation of this embodiment will be explained.

The contents of the designed circuit are stored in the net storage section 9 and the element storage section 1.
1 in advance.

When an event signal is input from the outside, the input signal is stored in the rotating ring type event storage section 6. The rotating ring type event storage section 6 stores the signals while identifying them based on the registered position, input time difference, and its value. Then, a storage signal is output to the net state updating section 7 in accordance with the rotation.

In addition, after the rotating ring type event storage unit 6 sends event data to the net state updating unit 7 at least once, immediately before rotating the storage mechanism, the rotating ring type event storage unit 6 directly drives the element evaluation unit 12 to update all the elements of the circuit. Stabilize the output signal value.

The net status update section 7 stores the net information stored in the net storage section 9 in advance. This information is updated each time by an output signal from the rotating ring type event storage section 6, and the updated net information is stored again in the net storage section 9.

The net information updated by the net state update section 7 is input to the element input update section 10. This element input updating unit 10 stores the status of each element in the circuit, the element storage unit 11
I am inputting from. Element input update unit 10 configured as described above
When the above net information is input to , it is determined whether the element is in an operating state.

Based on the output signal from the element input updating section 10, the element evaluation section 12 evaluates the element take and determines how the element should function. Then, the evaluation result of the element data is stored in the element storage section 11.

A predetermined element operates according to the output signal of the element evaluation section 12, and its status is updated by the element output updating section 5 and stored in the element output storage section 13.

Further, the output No. from the element output updating section 5 is inputted to the event selection section 4 and then inputted again to the rotating ring type event storage section 6.

As the above operation is repeated, a signal is outputted from the network status update section 7 to a specific device such as a vending machine.

If a specific device that receives a signal does not operate as expected, the circuit will not function properly, indicating that there was a mistake in the design stage. On the other hand, if the device functions normally, it can be seen that the design of the circuit is correct.

In this way, it is possible to determine whether the circuit functions normally at the design stage of the circuit, thereby eliminating the conventional problem of taking a long time to determine whether the circuit is correct or not.

[Brief explanation of drawings]

FIG. 1 is a circuit diagram showing an embodiment of the present invention. 4-Event selection unit, 5-Element output update unit, 6-Single rotation ring type event storage unit, 7-Net status update unit, 9-Net storage unit, 10-Element input update unit,
11-Element storage unit, 12-Element evaluation unit, 13...
Element output storage section.

Claims (1)

[Scope of Claims] An element storage section that stores functions of elements of an integrated circuit, a net storage section that stores wiring conditions of the integrated circuit, an event selection section that selectively inputs event signals, and the event selection section. A rotating ring-type event storage unit that stores event signals from the 2000 while identifying them based on registered positions, input time differences, and their values, and outputs storage signals in accordance with the rotation of the ring; , a net status update unit that updates the net information from the net storage unit according to the output signal from the rotating ring event storage unit; and a net status update unit that is connected to the element storage unit and updates the element information from the element storage unit. an element input updating section that updates according to the output signal from the net state updating section; an element evaluation section that decides how to operate each element according to the output signal from the element input updating section; an element output updating unit that updates the output status of the element according to an output signal of the element evaluation unit and outputs the signal to the event selection unit; and an element output updating unit that stores the updated status of the element output updating unit and stores the updated status. An integrated circuit verification device comprising: an element output storage unit that outputs the output status of the element to an element output update unit.