Synopsys, Inc.
Hardware based state signature generation and check for test and debug of semiconductor circuit functionality

Abstract:

A method of detecting a fault in a circuit design undergoing hardware emulation, includes, in part, comparing, in each cycle K of a clock and at the hardware emulation system, the cycle K register values of a reference circuit with the cycle K register values of the circuit design undergoing emulation. The method further includes detecting, in each cycle K of the clock and at the hardware emulation system, whether a mismatch exists between the cycle K reference circuit design register values and the cycle K register values of the circuit design undergoing emulation. Alternatively the comparison may be made between the respective signatures computed from the register values. The register values of the reference circuit design for all K cycles may be transferred to the emulation system prior to emulation. Alternatively, for each cycle K, the register values may be transferred to the hardware emulation system during that cycle.