Loading...

A formal approach for debugging arithmetic circuits

Sarbishei, O ; Sharif University of Technology | 2009

1369 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/TCAD.2009.2013998
  3. Publisher: 2009
  4. Abstract:
  5. This paper presents a novel automatic debugging algorithm for a postsynthesis combinational arithmetic circuit. The approach is robust under wide varieties of arithmetic circuit architectures and design optimizations. The debugging algorithm in this paper consists of three phases of partial product initialization, XOR extraction, and carry-signalmapping. The run-time complexity of conventional carry-signal-mapping algorithms, such as the approach described by Stoffel and Kunz, is exponential. However, in the proposed algorithm, by making use of some important design issues, we categorize the extracted XORs into half/full-adders to make a very fast debugging algorithm. This approach is robust under multioperand adders, pin-swap techniques, optimizations concerning carry signals or XOR terms, and irregularities, such as commutative and associative laws. Moreover, the XOR extraction in the proposed algorithm is much faster than conventional techniques, as it does not evaluate the whole netlist. The bugs detected in the partial product initialization and the carry-signal mapping can automatically be replaced with proper logics. However, during the XOR extraction phase, the problematic XORs are only reported by the algorithm, and no automatic replacement is performed for such logic gates. To evaluate the effectiveness of our approach, we run it on several arithmetic circuits. © 2009 IEEE
  6. Keywords:
  7. Arithmetic circuits ; Arithmetic circuit ; Conventional techniques ; Debugging algorithms ; Design issues ; Design optimization ; Extraction phase ; Formal approach ; Logic debugging ; Mapping algorithms ; Multioperand adders ; Netlist ; Partial product ; Postsynthesis ; Postsynthesis verification ; Runtimes ; Signal mapping ; Three phasis ; Adders ; Algorithms ; Conformal mapping ; Integrating circuits ; Sequential circuits ; Program debugging
  8. Source: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems ; Volume 28, Issue 1 , 2009 , Pages 742-754 ; 02780070 (ISSN)
  9. URL: https://ieeexplore.ieee.org/document/4838829