![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Book
-
Chapter
Introduction
Hardware verification is a process of checking if a design conforms to its specifications of functionality, timing, testability, and power dissipation. Among these criteria, functional verification has the hig...
-
Chapter
RTL-to-Gate Verification
In this chapter we discuss the use of a gate-to-gate equivalence checker to verify a gate-level implementation against its structural RTL specification. We begin with the basic methodology for RTL-to-gate veri...
-
Chapter
Extension to Sequential Error Diagnosis
This chapter extends the fault-simulation-based diagnosis approach to sequential circuits. We first describe the necessary and sufficient condition of a correctable input sequence that can be corrected by changin...
-
Chapter
Algorithm for Verifying Retimed Circuits
In this chapter, we discuss a heuristic for verifying retimed circuits. Usually after the retiming transformation, some flip-flops or latches in a sequential circuit are re-positioned. Thus, the behavior of th...
-
Chapter
Incremental Verification for Combinational Circuits
In this chapter we discuss the incremental algorithms that explore the structural similarity between two circuits to speed up the verification process. Three types of algorithms, namely substitution-based, lea...
-
Chapter
AQUILA: A Local BDD-based Equivalence Verifier
In this chapter we describe the enhancement of the ATPG-based framework by local BDD-based techniques. This enhancement involves two ideas. First, we generalize the inductive algorithm of Section 4.3 to identi...
-
Chapter
ErrorTracer: Error Diagnosis by Fault Simulation
In this chapter we discuss a method for combinational design error diagnosis. We introduce a fault-simulation-based technique to approximate each signal’s correcting power. The correcting power of a signal is ...
-
Chapter
Symbolic Verification
In this chapter we discuss symbolic algorithms that rely on finite state machine (FSM) traversal to perform equivalence checking. FSM traversal is a process that explores the state space of a finite state mach...
-
Chapter
Introduction to Logic Debugging
In this chapter we review a number of representative algorithms for error diagnosis and correction. For error diagnosis, we discuss methods of locating the error sources in an incorrect combinational implement...
-
Chapter
Incremental Logic Rectification
Both engineering change and error correction can be formulated as a logic rectification problem. This problem takes two gate-level netlists, which are functionally inequivalent, as inputs. One is considered as...
-
Chapter
Incremental Verification for Sequential Circuits
In this chapter we address the problem of verifying the equivalence of two sequential circuits. In an attempt to handle larger circuits, we modify the test pattern generation technique for verification. The su...