Combinational Logic Verification: Flattening

Combinational Logic Verification: Flattening

m Flattening [Hachtel, et. al. 88]

m Drawbacks

Previous slide Next slide Back to the first slide View Graphic Version