TY  - BOOK
AU  - Drechsler, Rolf
TI  - Advanced Formal Verification
SN  - 9781402077210
U1  - 621.38150285514 
PY  - 2004///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Electronic Engineering
N1  - Introduction What Sat Solvers can and cannot do Advancements in Mixed BDD and SAT Techniques Equivalence Checking of Arithmetic Circuits Application of Property Checking and Underlying Techniques Assertion Based Verification Formal Verification for Nonlinear Analog Systems
ER  -