Incremental Logic Rectification

An automatic interconnection rectification technique for SoC design integration

“…Traditional diagnosis and correction algorithms in the logic level can be divided into two categories with respect to the underlying techniques: those based on symbolic techniques [8] [9] and those based on simulation techniques [5] [10] [11]. The approaches based on symbolic techniques can return valid correction and handle circuits with multiple errors well, however, they are not applicable to circuits that have no efficient Ordered Binary Decision Diagram (OBDD) [12] representation.…”

Design error diagnosis in digital circuits with stuck-at fault model

“…Most design error diagnosis approaches are either simulation-based [1,3,5,7,10,11] or symbolic [2,4,8,9,12]. Simulation based approaches rely on a number of test vectors that differentiate the implementation and the specification.…”

“…In [4,6,8,15] structural approaches for design error rectification are proposed. Such approaches mostly apply verification techniques to narrow down the potential error region in the implementation.…”

“…In [15] a heuristic called back-substitution is employed in hopes of fixing the error incrementally. In [4] a symbolic re-synthesis approach is used. Although these approaches are suitable for large circuits, their major drawback is that the success of the whole procedure is highly dependent on existence of structural similarity between two circuits.…”

ErrorTracer: design error diagnosis based on fault simulation techniques

“…D URING the very large scale integration design process, functional mismatches between a given specification and the final implementation often occur. Once a functional mismatch is found by the verification tool, the designer faces the taunting task of design error diagnosis-a process that identifies or narrows down the error sources in the implementation, so as to assist the subsequent error correction process [2], [8], [11], [18], [20]- [22]. Due to the difficulty of diagnosing a sequential circuit, most previous approaches have focused on the combinational diagnosis.…”