Digital Circuit Verification Using Partially-Ordered State Models

Many aspects of digital circuit operation can be efficiently verified by simulating circuit operation over "weakened" state values. This technique has long been practiced with logic simulators, using the value X to indicate a signal that could be either 0

• Type: Conference
• Year: 1994
• Where: ISMVL
• Authors: Carl-Johan H. Seger, Randal E. Bryant
• Keywords: Circuit Operation, Digital Circuit Operation, Hardware, ISMVL 1994, Many Aspects