Formal Equivalence Checking and Design Debugging covers two major topics in design
verification: logic equivalence checking and design debugging. The first part of the book …

Decision diagram (DD) techniques are very popular in the electronic design automation
(EDA) of integrated circuits, and for good reason. They can accurately simulate logic design …

In cost-optimal planning we aim to find a sequence of operators that achieve a set of goals
with minimum cost. Symbolic search with Binary Decision Diagrams (BDDs) performs …

Binary Decision Diagrams Page 1 Binary Decision Diagrams Fabio SOMENZI Department
of Electrical and Computer Engineering University of Colorado at Boulder Abstract We …

Over the last decade significant progress has been made in the efficient implementation of
algorithms for the manipulation of decision diagrams. We review the main issues involved in …

There is arguably no field in greater need of a comprehensive handbook than computer
engineering. The unparalleled rate of technological advancement, the explosion of …

We propose a methodology to formally prove protocol compliance for communication blocks
in System-on-Chip (SoC) designs. In this methodology, a set of operational properties is …

This paper describes a structurally-guided framework for the decomposition of a verification
task into subtasks, each solved by a specialized algorithm for overall efficiency. Our …

This chapter traces the links between the notion of Satisfiability and the attempts by
mathematicians, philosophers, engineers, and scientists over the last 2300 years to develop …

Efficient techniques for the manipulation of Binary Decision Diagrams (BDDs) are key to the
success of formal verification tools. Recent advances in reachability analysis and model …