| CPC G06F 30/3308 (2020.01) [G06F 11/008 (2013.01); G06F 11/261 (2013.01); G06F 30/20 (2020.01); G06F 30/367 (2020.01); G06F 30/398 (2020.01)] | 20 Claims |

|
1. A method for generating a circuit design test, the method comprising:
partitioning a circuit design into a plurality of blocks;
determining a first potential defect and a second potential defect for the circuit design;
simulating the circuit design by injecting, into the circuit design, the first potential defect to produce a first set of outputs of the plurality of blocks;
simulating the circuit design by injecting, into the circuit design, the second potential defect to produce a second set of outputs of the plurality of blocks;
determining, by a processor and based at least in part on the first set of outputs of the plurality of blocks and the second set of outputs of the plurality of blocks, a set of output nodes of the plurality of blocks; and
generating a test that, when executed, measures signals at the set of output nodes.
|