Combinational Verification Using Canonical Form
Combinational Verification Using Canonical Form
Convert to
BDD
Convert to
BDD
Isomorphism
Check
Behavior
Functions the system must implement
Implementation-independent description
Register
Components and their interconnections
Std. components & ROM, ASIC, PLD
Gate
Low-level components & nets
In terms of ASIC library
Electrical
Voltages, currents and detailed models
Switch
Transistor-level description
Logic Values and Strengths