Combinational Logic Verification

Combinational Logic Verification

m Apply D-Algorithm [VERIFY, Roth 77] or PODEM [LOVER, Wei 86] to identify redundant faults.

m Use single-cone segmentation to deal with multiple outputs

Circuit A

Circuit B

F

Try to establish F stuck-at-1

is a redundant fault

Previous slide

Next slide

Back to the first slide

View Graphic Version