Combinational Logic Verification: Flattening
Combinational Logic Verification: Flattening
m Flattening [Hachtel, et. al. 88]
Ô Convert to two-level form.Ô Perform two-level tautology check
m Drawbacks
Ô Two-level representation may be too large to storeÔ Intermediate representation may be too large to store.