8. Recent Advances in Verification, Equivalence Checking
Dhiraj K. Pradhan · 2003
Design flow, RTL-verification, Simulation-based techniques, basic concepts of equivalence'checking, combinational equivatence checking, ATPG-based techniques, compare point matching, mitering, don't cares, solver overview (structura! verification, BDD-based so!vers, SAT-based solvers), Decision Diagrams (BDDs, zBDDs, mBdds). Also to be covered are Concepts in SAT solvers (backrack-search algorithm, effective techniques, including non-chronological backtracking & Boolean constraint propagation), new EDA-related techniques (covering immediate implications, partial-clauses, local decisions & partial clauses). Finally, the Tutorial will give an overview of various commercially available tools, & their applicability. Also to be discussed are future challenges, such as design for verifiability & potential new directions.