Logic verification system
First Claim
Patent Images
1. A logic verification system comprising:
- a logic simulation accelerator including;
a logic simulator operating on a general purpose processor to logically verify operation correctness of a designed logic circuit;
a device which includes a programmable FPGA module composed by FPGAs to be programmed to physically realize functions of the designed logic circuit and which is mounted to the logic simulator via a connector; and
a bridge circuit which is mounted to the logic simulator and which selectively transmits and receives corresponding data between said general purpose processor and said device,wherein all pins of the FPGA module are wired directly to the bridge circuit via the connector,wherein a cutting end of a verification logic which verifies said designed logic circuit realized on said device is assigned to the connector of the FPGA module for accelerating logic simulation, andwherein a correspondence between each of said all pins of said FPGA module and a logic signal from said general purpose processor is established on said logic simulator, andwherein the verification logic for verifying said designed logic circuit implemented on said device provides a means for transmitting a direction control signal which controls a transmission direction of two-way signals between said FPGA module and said bridge circuit thereby performing logic verification of the designed logic circuit by the logic simulator in parallel with physical realization of the designed logic circuit on said device, and said direction control signal is sent to the bridge circuit via one of said two-way signals.
1 Assignment
0 Petitions
Accused Products
Abstract
There is provided a logic verification system having improved development time and design quality, in which all pins of an FPGA module are wired in direct between the FPGA module and a bridge circuit used in the verification processes of a logic simulator accelerator and a logic emulator, a cutting end of the verification object logic is assigned to an external interface connector of the FPGA module when the logic simulation is accelerated, and the correspondence between each pin of external interface connector of the FPGA module and logic signal is performed on the logic simulator on the general purpose processor.
26 Citations
9 Claims
-
1. A logic verification system comprising:
-
a logic simulation accelerator including; a logic simulator operating on a general purpose processor to logically verify operation correctness of a designed logic circuit; a device which includes a programmable FPGA module composed by FPGAs to be programmed to physically realize functions of the designed logic circuit and which is mounted to the logic simulator via a connector; and a bridge circuit which is mounted to the logic simulator and which selectively transmits and receives corresponding data between said general purpose processor and said device, wherein all pins of the FPGA module are wired directly to the bridge circuit via the connector, wherein a cutting end of a verification logic which verifies said designed logic circuit realized on said device is assigned to the connector of the FPGA module for accelerating logic simulation, and wherein a correspondence between each of said all pins of said FPGA module and a logic signal from said general purpose processor is established on said logic simulator, and wherein the verification logic for verifying said designed logic circuit implemented on said device provides a means for transmitting a direction control signal which controls a transmission direction of two-way signals between said FPGA module and said bridge circuit thereby performing logic verification of the designed logic circuit by the logic simulator in parallel with physical realization of the designed logic circuit on said device, and said direction control signal is sent to the bridge circuit via one of said two-way signals. - View Dependent Claims (2, 3, 4, 5, 6, 7, 8, 9)
-
Specification