Combinational Logic Verification:Use Testing Techniques
Combinational Logic Verification:Use Testing Techniques
m PROTEUS [Wei, et. al 86]
Ô Problem can be formulated as a redundancy-identification problem.Ô Use cube enumeration & simulation
m Drawbacks
Ô Takes a long time if cover size is large (generally not a major problem).