Combinational Verification Using Canonical Form
Functions the system must implement
Implementation-independent description
Components and their interconnections
Std. components & ROM, ASIC, PLD
Low-level components & nets
Voltages, currents and detailed models
Transistor-level description
Logic Values and Strengths