Combinational Logic Verification:Exhaustive Simulation
Combinational Logic Verification:Exhaustive Simulation
m Exhaustive Simulation O(2^NI)
20 inputs Þ > 1M minterm vectors
m Can be made parallel, but not worth it
Previous slide
Next slide
Back to the first slide
View Graphic Version