Concurrent testbench and software driven verification
A verification system comprises: a reconfigurable hardware modeling device programmed to implement a hardware model of a circuit design; a first computing unit configured to execute a first software program; and a second computing unit configured to execute a testbench model of a second software program. The execution of the first software program and the testbench model of the second software program generates first stimuli and second stimuli for an operation of the hardware model of the circuit design, respectively. The first stimuli and the second stimuli are transmitted to the hardware model of the circuit design through a communication interface.
1. A system, comprising:
a reconfigurable hardware modeling device programmed to implement a hardware model of a circuit design;
a first computing unit configured to execute a first software program, the execution of the first software program generating first stimuli for an operation of the hardware model of the circuit design; and
a second computing unit configured to execute a testbench model of a second software program, the execution of the testbench model generating second stimuli for the operation of the hardware model of the circuit design,
wherein the first software and the second software are designed to be executed for an operation performed by a circuit manufactured according to the circuit design, and the first stimuli and the second stimuli are transmitted to the hardware model of the circuit design through a communication interface during the operation of the hardware model of the circuit design.
2. The system recited in claim 1 , wherein the communication interface comprises:
a speed bridge device.
3. The system recited in claim 1 , wherein the communication interface comprises:
a transactor, the transactor comprising a front-end proxy interface implemented in a computer and a back-end bus-functional model implemented in the reconfigurable hardware modeling device.
4. The system recited in claim 3 , wherein the front-end proxy interface comprises:
a first sub-interface unit communicating with the first computing unit, the communicating with the first computing unit comprising receiving the first stimuli; and
a second sub-interface unit communicating with the second computing unit, the communicating with the second computing unit comprising receiving the second stimuli.
5. The system recited in claim 3 , wherein the first computing unit is also implemented by the computer.
6. The system recited in claim 1 , wherein the first computing unit is further configured to execute a software model of a processor, the processor being an embedded processor in an embedded system configured to execute software programs comprising the first software program and the second software program, the embedded system further comprises a chip comprising a circuit manufactured based on the circuit design.
7. The system recited in claim 1 , wherein the first computing unit is further configured to execute a testbench interface program communicating with the testbench model, the communicating comprising receiving the second stimuli.
8. The system recited in claim 1 , wherein the first software program comprises a testbench interface module communicating with the testbench model, the communicating comprising receiving the second stimuli.
9. The system recited in claim 1 , wherein the first computing unit and the second computing unit are implemented by a single computer.
10. The system recited in claim 1 , wherein the first computing unit and the second computing unit are implemented by two computers, respectively.
11. The system recited in claim 1 , wherein the first computing unit is implemented using a virtual machine running on a computer.
12. The system recited in claim 11 , wherein the second computing unit comprises:
a virtual machine interface program communicating with the virtual machine, the communicating comprising sending the second stimuli; and
a stimuli generation program configured to generate the second stimuli.
13. The system recited in claim 1 , wherein the reconfigurable hardware modeling device is a hardware emulator or an FPGA-based prototyping device.
14. The system recited in claim 1 , wherein the first computing unit, the second computing unit, or both, receive circuit responses from the hardware model of the circuit design through the communication interface.
15. A method, comprising:
implementing a hardware model of a circuit design on a reconfigurable hardware modeling device, the reconfigurable hardware modeling device and a computing environment having a communication interface, the computing environment comprising a first computing unit and a second computing unit; and
performing an operation of the hardware model of the circuit design, during the operation:
transmitting first stimuli generated by executing a first software program on the first computing unit to the hardware model of the circuit design through a communication interface, and
transmitting second stimuli generated by executing a testbench model of a second software program on the second computing unit to the hardware model of the circuit design through the communication interface
wherein the first software and the second software are designed to be executed for an operation performed by a circuit manufactured according to the circuit design.
16. The method recited in claim 15 , wherein the communication interface comprises:
a speed bridge device.
17. The method recited in claim 15 , wherein the communication interface comprises:
a transactor, the transactor comprising a front-end proxy interface implemented in a computer and a back-end bus-functional model implemented in the reconfigurable hardware modeling device.
18. The method recited in claim 17 , wherein the front-end proxy interface comprises:
a first sub-interface unit communicating with the first computing unit, the communicating with the first computing unit comprising receiving the first stimuli; and
a second sub-interface unit communicating with the second computing unit, the communicating with the second computing unit comprising receiving the second stimuli.
19. The method recited in claim 15 , wherein the first computing unit is further configured to execute a testbench interface program communicating with the testbench model, the communicating comprising receiving the second stimuli.
20. The method recited in claim 15 , wherein the first software program comprises a testbench interface module communicating with the testbench model, the communicating comprising receiving the second stimuli.
21. The method recited in claim 15 , wherein the first computing unit is implemented using a virtual machine running on a computer.
22. The method recited in claim 21 , wherein the second computing unit comprises:
a virtual machine interface program communicating with the virtual machine, the communicating comprising sending the second stimuli; and
a stimuli generation program configured to generate the second stimuli.
23. The method recited in claim 15 , wherein the reconfigurable hardware modeling device is a hardware emulator or an FPGA-based prototyping device.