Background
In digital circuits, various kinds of information are represented by a binary basic operation signal, and a flip-flop is a basic unit for storing such a signal. The trigger has a simple structure and reliable operation, and can be widely applied because many other application circuits can be developed on the basis of the trigger. Particularly, the clock-controlled flip-flop provides a condition for simultaneously controlling the working states of a plurality of flip-flops, which are basic unit circuits of a sequential circuit and are often used for constructing transmission, buffering, latch circuits and other common circuits of information.
Fig. 1 is a schematic structural diagram of an asynchronous reset D flip-flop, where the D flip-flop includes a data input end D, a clock input end CK, a reset end RN, and an output end Q. At the arrival of a rising edge of the clock signal, the state of the output Q depends on the state of the output Q before the arrival of the rising edge. Therefore, the D flip-flop has two functions of setting "0" and setting "1". The D trigger has wide application and can be used as a register, a shift register, a frequency division, a waveform generator and the like of a digital signal.
In the prior art, the functional verification of the D flip-flop is completed by off-chip testing, and it is necessary to extract each port of the D flip-flop, and implement verification by traversing all test vectors in the truth table of the D flip-flop shown in fig. 2. The verification method needs to consume more resources, including area consumption caused by leading out four ports of a chip and test time consumption caused by four groups of test vectors.
Disclosure of Invention
The invention aims to solve the problems of large circuit area and long test time for the function verification of the asynchronous reset D trigger.
The invention is realized by the following technical scheme:
an asynchronous reset trigger verification circuit comprises a first D trigger, an OR gate and a first inverter;
the data input end of the first D trigger receives a digital signal '1', the clock input end of the first D trigger is connected with the first input end of the OR gate and serves as the input end of the asynchronous reset trigger verification circuit, the reset end of the first D trigger is connected with the output end of the OR gate, the output end of the first D trigger is connected with the input end of the first phase inverter and serves as the output end of the asynchronous reset trigger verification circuit, and the output end of the first phase inverter is connected with the second input end of the OR gate.
Optionally, an input of the asynchronous reset flip-flop verification circuit is adapted to receive a periodic signal.
Based on the same inventive concept, the invention provides another asynchronous reset trigger verification circuit, which comprises a second D trigger and a second inverter;
the data input end of the second D trigger is connected with the output end of the second phase inverter, the clock input end of the second D trigger serves as the input end of the asynchronous reset trigger verification circuit, the reset end of the second D trigger receives a digital signal '1', and the output end of the second D trigger is connected with the input end of the second phase inverter and serves as the output end of the asynchronous reset trigger verification circuit.
Optionally, an input of the asynchronous reset flip-flop verification circuit is adapted to receive a periodic signal.
Based on the same inventive concept, the invention provides another asynchronous reset trigger verification circuit, which comprises a first logic circuit and a second logic circuit, wherein the first logic circuit and the second logic circuit are connected in series;
the first logic circuit comprises a first D flip-flop, an OR gate and a first phase inverter, wherein a data input end of the first D flip-flop receives a digital signal '1', a clock input end of the first D flip-flop is connected with a first input end of the OR gate and serves as an input end of the first logic circuit, a reset end of the first D flip-flop is connected with an output end of the OR gate, an output end of the first D flip-flop is connected with an input end of the first phase inverter and serves as an output end of the first logic circuit, and an output end of the first phase inverter is connected with a second input end of the OR gate;
the second logic circuit comprises a second D trigger and a second phase inverter, the data input end of the second D trigger is connected with the output end of the second phase inverter, the clock input end of the second D trigger is used as the input end of the second logic circuit, the reset end of the second D trigger receives a digital signal '1', and the output end of the second D trigger is connected with the input end of the second phase inverter and is used as the output end of the second logic circuit.
Optionally, an input end of the first logic circuit is used as an input end of the asynchronous reset trigger verification circuit, an output end of the first logic circuit is connected to an input end of the second logic circuit, and an output end of the second logic circuit is used as an output end of the asynchronous reset trigger verification circuit.
Optionally, an input end of the second logic circuit is used as an input end of the asynchronous reset trigger verification circuit, an output end of the second logic circuit is connected to an input end of the first logic circuit, and an output end of the first logic circuit is used as an output end of the asynchronous reset trigger verification circuit.
Optionally, an input of the asynchronous reset flip-flop verification circuit is adapted to receive a periodic signal.
Optionally, the amplitude of the digital signal "1" is a power supply voltage.
Based on the same inventive concept, the invention provides an integrated circuit verification device, which comprises a data distributor, a data selector and M verification modules, wherein at least one of the M verification modules is the asynchronous reset trigger verification circuit, and M is an integer not less than 2;
the data input end of the data distributor is used as the input end of the integrated circuit verification device, each address end of the data distributor is correspondingly connected with one address end of the data selector and is used for receiving one path of address signals, each output end of the data distributor is correspondingly connected with the input end of one verification module, each input end of the data selector is correspondingly connected with the output end of one verification module, and the output end of the data selector is used as the output end of the integrated circuit verification device.
Compared with the prior art, the invention has the following advantages and beneficial effects:
according to the asynchronous reset trigger verification circuit provided by the invention, the asynchronous reset trigger is constructed into a logic circuit with only one input end and one output end, and the function verification of the asynchronous reset trigger can be completed only by leading out two ports and configuring two groups of test vectors, so that the circuit area occupied by the function verification is reduced, and the test time is shortened. According to the integrated circuit verification device provided by the invention, the data distributor and the data selector are arranged, so that large-scale verification of a plurality of verification modules can be realized, and the verification efficiency is improved.
Detailed Description
In order to make the objects, technical solutions and advantages of the present invention more apparent, the present invention is further described in detail below with reference to examples and accompanying drawings, and the exemplary embodiments and descriptions thereof are only used for explaining the present invention and are not meant to limit the present invention.
Example 1
Fig. 3 is a schematic structural diagram of an asynchronous reset flip-flop verification circuit, which includes a first D flip-flop 31, an or gate 32, and a first inverter 33.
Specifically, the data input end D of the first D flip-flop 31 receives a digital signal "1", the clock input end CK of the first D flip-flop 31 is connected to the first input end of the or gate 32 and serves as the input end IN1 of the asynchronous reset flip-flop verification circuit, the reset end RN of the first D flip-flop 31 is connected to the output end of the or gate 32, the output end Q of the first D flip-flop 31 is connected to the input end of the first inverter 33 and serves as the output end OUT1 of the asynchronous reset flip-flop verification circuit, and the output end of the first inverter 33 is connected to the second input end of the or gate 32.
When the first D flip-flop 31 is functionally verified, the input terminal IN1 of the asynchronous reset flip-flop verification circuit receives a periodic signal, which may be a clock signal. The operation of the asynchronous reset flip-flop verification circuit is described below with reference to the test vectors shown in fig. 4:
assuming that the initial state of the reset terminal RN of the first D flip-flop 31 is a digital signal "0", the output terminal Q of the first D flip-flop 31 is set to a digital signal "0", regardless of the value of the clock input terminal CK of the first D flip-flop 31, the reset terminal RN of the first D flip-flop 31 is set to a digital signal "1", and the output terminal Q of the first D flip-flop 31 holds data; when the periodic signal received by the clock input terminal CK of the first D flip-flop 31 is a rising edge, the output terminal Q of the first D flip-flop 31 collects the digital signal "1" received by the data input terminal D of the first D flip-flop 31, at this time, since the clock input terminal CK of the first D flip-flop 31 is the digital signal "1", the reset terminal RN of the first D flip-flop 31 is still the digital signal "1", and the output terminal Q of the first D flip-flop 31 holds data; when the periodic signal received by the clock input terminal CK of the first D flip-flop 31 is a falling edge, the output terminal Q of the first D flip-flop 31 holds the digital signal "1", the reset terminal RN of the first D flip-flop 31 is set to the digital signal "0", and the output terminal Q of the first D flip-flop 31 is set to the digital signal "0".
When the initial state of the reset terminal RN of the first D flip-flop 31 is the digital signal "1", the working principle of the asynchronous reset flip-flop verification circuit is similar to that when the initial state of the reset terminal RN of the first D flip-flop 31 is the digital signal "0", and details are not repeated here. The asynchronous reset trigger verification circuit provided in this embodiment can complete verification of the first, third, and fourth rows of the truth table of the asynchronous trigger shown in fig. 2 by only leading out two ports, that is, the clock input terminal CK of the first D flip-flop 31 and the output terminal Q of the first D flip-flop 31, and configuring two sets of test vectors, thereby reducing the circuit area occupied for performing functional verification and shortening the test time.
Example 2
In this embodiment, another asynchronous reset flip-flop verification circuit is provided, and fig. 5 is a schematic structural diagram of the asynchronous reset flip-flop verification circuit, where the asynchronous reset flip-flop verification circuit includes a second D flip-flop 51 and a second inverter 52.
The data input end D of the second D flip-flop 51 is connected to the output end of the second inverter 52, the clock input end CK of the second D flip-flop 51 serves as the input end IN2 of the asynchronous reset flip-flop verification circuit, the reset end RN of the second D flip-flop 51 receives the digital signal "1", and the output end Q of the second D flip-flop 51 is connected to the input end of the second inverter 52 and serves as the output end OUT2 of the asynchronous reset flip-flop verification circuit.
When the second D flip-flop 51 is functionally verified, the input terminal IN2 of the asynchronous reset flip-flop verification circuit receives a periodic signal, which may be a clock signal. The operation of the asynchronous reset flip-flop verification circuit is described below with reference to the test vectors shown in fig. 6:
assuming that the initial state of the output Q of the second D flip-flop 51 is a digital signal "0", the data input D of the second D flip-flop 51 is set to a digital signal "1"; when the periodic signal received by the clock input terminal CK of the second D flip-flop 51 is a rising edge, the output terminal Q of the second D flip-flop 51 collects a digital signal "1" received by the data input terminal D of the second D flip-flop 51, and at this time, the data input terminal D of the second D flip-flop 51 is set to a digital signal "0"; when the periodic signal received by the clock input terminal CK of the second D flip-flop 51 is a falling edge, the output terminal Q of the second D flip-flop 51 holds the digital signal "1", and the data input terminal D of the second D flip-flop 51 holds the digital signal "0"; when the periodic signal received by the clock input terminal CK of the second D flip-flop 51 is a rising edge again, the output terminal Q of the second D flip-flop 51 collects the last state "0" of the data input terminal D of the second D flip-flop 51, and at this time, the data input terminal D of the second D flip-flop 51 is set to the digital signal "1"; when the periodic signal received by the clock input terminal CK of the second D flip-flop 51 is a falling edge again, the output terminal Q of the second D flip-flop 51 holds the digital signal "0", and the data input terminal D of the second D flip-flop 51 holds the digital signal "1"; when the third periodic signal received by the clock input CK of the second D flip-flop 51 is a rising edge, the output Q of the second D flip-flop 51 acquires the last state "1" of the data input D of the second D flip-flop 51, and at this time, the data input D of the second D flip-flop 51 is set to the digital signal "0".
When the initial state of the reset terminal RN of the second D flip-flop 51 is the digital signal "1", the working principle of the asynchronous reset flip-flop verification circuit is similar to that when the initial state of the reset terminal RN of the second D flip-flop 51 is the digital signal "0", and details thereof are not repeated. The asynchronous reset trigger verification circuit provided in this embodiment can complete verification of the second, third, and fourth rows of the truth table of the asynchronous trigger shown in fig. 2 by only leading out two ports, that is, the clock input terminal CK of the second D flip-flop 51 and the output terminal Q of the second D flip-flop 51, and configuring two sets of test vectors, thereby reducing the circuit area occupied for performing functional verification and shortening the test time.
Example 3
Fig. 7 is a schematic structural diagram of an asynchronous reset flip-flop verification circuit, where the asynchronous reset flip-flop verification circuit includes a first logic circuit and a second logic circuit connected in series. The input end of the first logic circuit is used as the input end IN3 of the asynchronous reset trigger verification circuit, the output end of the first logic circuit is connected with the input end of the second logic circuit, and the output end of the second logic circuit is used as the output end OUT3 of the asynchronous reset trigger verification circuit.
The first logic circuit includes a first D flip-flop 31, an or gate 32, and a first inverter 33. The data input end D of the first D flip-flop 31 receives a digital signal "1", the clock input end CK of the first D flip-flop 31 is connected to the first input end of the or gate 32 and serves as the input end of the first logic circuit, the reset end RN of the first D flip-flop 31 is connected to the output end of the or gate 32, the output end Q of the first D flip-flop 31 is connected to the input end of the first inverter 33 and serves as the output end of the first logic circuit, and the output end of the first inverter 33 is connected to the second input end of the or gate 32.
The second logic circuit includes a second D flip-flop 51 and a second inverter 52. A data input end D of the second D flip-flop 51 is connected to an output end of the second inverter 52, a clock input end CK of the second D flip-flop 51 serves as an input end of the second logic circuit, a reset end RN of the second D flip-flop 51 receives a digital signal "1", and an output end Q of the second D flip-flop 51 is connected to an input end of the second inverter 52 and serves as an output end of the second logic circuit.
When the first D flip-flop 31 and the second D flip-flop 51 are functionally verified, the input terminal IN3 of the asynchronous reset flip-flop verification circuit receives a periodic signal, which may be a clock signal. The operation principle of the first logic circuit is described with reference to embodiment 1, the operation principle of the second logic circuit is described with reference to embodiment 2, and a schematic diagram of a test vector of the asynchronous reset trigger verification circuit is shown in fig. 9. The asynchronous reset trigger verification circuit provided in this embodiment can complete verification of the truth table of the asynchronous trigger shown in fig. 2 by only leading out two ports, that is, the clock input terminal CK of the first D flip-flop 31 and the output terminal Q of the second D flip-flop 51, and configuring two sets of test vectors, thereby reducing the circuit area occupied for performing functional verification and shortening the test time.
Example 4
In this embodiment, another asynchronous reset trigger verification circuit is provided, and fig. 8 is a schematic structural diagram of the asynchronous reset trigger verification circuit, where the asynchronous reset trigger verification circuit includes a first logic circuit and a second logic circuit connected in series. The input end of the second logic circuit is used as the input end IN4 of the asynchronous reset trigger verification circuit, the output end of the second logic circuit is connected with the input end of the first logic circuit, and the output end of the first logic circuit is used as the output end OUT4 of the asynchronous reset trigger verification circuit.
The first logic circuit includes a first D flip-flop 31, an or gate 32, and a first inverter 33. The data input end D of the first D flip-flop 31 receives a digital signal "1", the clock input end CK of the first D flip-flop 31 is connected to the first input end of the or gate 32 and serves as the input end of the first logic circuit, the reset end RN of the first D flip-flop 31 is connected to the output end of the or gate 32, the output end Q of the first D flip-flop 31 is connected to the input end of the first inverter 33 and serves as the output end of the first logic circuit, and the output end of the first inverter 33 is connected to the second input end of the or gate 32.
The second logic circuit includes a second D flip-flop 51 and a second inverter 52. A data input end D of the second D flip-flop 51 is connected to an output end of the second inverter 52, a clock input end CK of the second D flip-flop 51 serves as an input end of the second logic circuit, a reset end RN of the second D flip-flop 51 receives a digital signal "1", and an output end Q of the second D flip-flop 51 is connected to an input end of the second inverter 52 and serves as an output end of the second logic circuit.
When the first D flip-flop 31 and the second D flip-flop 51 are functionally verified, the input terminal IN4 of the asynchronous reset flip-flop verification circuit receives a periodic signal, which may be a clock signal. The operation principle of the first logic circuit is described with reference to embodiment 1, the operation principle of the second logic circuit is described with reference to embodiment 2, and a schematic diagram of a test vector of the asynchronous reset trigger verification circuit is shown in fig. 9. The asynchronous reset trigger verification circuit provided in this embodiment can complete verification of the truth table of the asynchronous trigger shown in fig. 2 by only leading out two ports, that is, the clock input terminal CK of the second D flip-flop 51 and the output terminal Q of the first D flip-flop 31, and configuring two sets of test vectors, thereby reducing the circuit area occupied for performing functional verification and shortening the test time.
Example 5
This embodiment provides an integrated circuit verification apparatus, and fig. 10 is a schematic structural diagram of the integrated circuit verification apparatus. The integrated circuit verification device comprises a data distributor 11, a data selector 12 and M verification modules (a verification module 131, verification modules 132, … and a verification module 13M), wherein M is an integer not less than 2 and M is 2NN is the number of address signals and N is not less than 2.
The data input of the data distributor 11 serves as the input IN5 of the integrated circuit verification device; each address terminal of the data distributor 11 is correspondingly connected to an address terminal of the data selector 12 and is configured to receive an address signal, for example, a first address terminal of the data distributor 11 is correspondingly connected to a first address terminal of the data selector 12 and receives an address signal a1, and a second address terminal of the data distributor 11 is correspondingly connected to a second address terminal of the data selector 12 and receives an address signal a 2; each output end of the data distributor 11 is correspondingly connected to an input end of an authentication module, and each input end of the data selector 12 is correspondingly connected to an output end of an authentication module, for example, an input end of an authentication module 131 is connected to a first output end of the data distributor 11, and an output end of the authentication module 131 is connected to a first input end of the data selector 12; the output of the data selector 12 serves as the output of the integrated circuit verification means.
Each verification module may be the asynchronous reset trigger verification circuit provided in any embodiment 1 to embodiment 4, or a part of the M verification modules is the asynchronous reset trigger verification circuit provided in any embodiment 1 to embodiment 4, and a part of the M verification modules is other logic chain verification circuits, which is not limited in this embodiment.
The integrated circuit verification device provided in this embodiment may perform large-scale verification by using a path of periodic signals, decode the address signals through the data distributor 11, distribute the periodic signals for testing to the verification modules corresponding to the address signals, decode the address signals through the data selector 12, and select the output signals of the corresponding verification modules to output. The integrated circuit verification device provided by the embodiment realizes large-scale verification of a plurality of verification modules and improves verification efficiency.
The above-mentioned embodiments are intended to illustrate the objects, technical solutions and advantages of the present invention in further detail, and it should be understood that the above-mentioned embodiments are merely exemplary embodiments of the present invention, and are not intended to limit the scope of the present invention, and any modifications, equivalent substitutions, improvements and the like made within the spirit and principle of the present invention should be included in the scope of the present invention.