Method and apparatus for supporting automatic testbench parallelism and serial equivalence checking during verification

摘要

A method for designing a system on a target device includes performing high-level compilation on a high-level language source file to generate a hardware description language (HDL) of the system and a serial testbench for the system. Verification is performed on the system that examines a parallel nature of the system by using the serial testbench.