Synopsys, Inc.
Fault insertion for system verification

Abstract:

A computer implemented method of modifying a compiled design of an electronic circuit is disclosed. The method includes accessing a stored compilation representing the design, and causing the computer to generate a modified version of the stored compilation in response to an indication of a change to a portion of the design.