Loading...

High-level symbolic simulation using integer equations

Gharehbaghi, A. M ; Sharif University of Technology | 2004

153 Viewed
  1. Type of Document: Article
  2. DOI: 10.1109/CCECE.2004.1349621
  3. Publisher: 2004
  4. Abstract:
  5. Taylor Expansion Diagram (TED) has been recently introduced as a compact and canonical representation for arithmetic functions with finite Taylor series. It can represent Boolean logic interacting with arithmetic functions canonically. One of the main disadvantages of TED is that relations must be bit expanded to be represented in TED. This paper represents a method for high-level symbolic simulation and property checking based on integer equations. Functionality of design is represented in Conditional TED (CTED), which is our enhancement of TED to represent relations without bit expansion. This way, a more compact structure is achieved for high-level designs, containing control path statements like if and case. The symbolic simulator is used for high-level property checking. Properties are inform of assertions, and support integer equality and inequalities as well as Boolean equations. We have implemented our symbolic simulator for Verilog. It contains the CTED package with all necessary operations
  6. Keywords:
  7. Hardware Verification ; Property Checking ; Symbolic Simulation ; Taylor Expansion Diagram (TEd)
  8. Source: Canadian Conference on Electrical and Computer Engineering; Technology Driving Innovation, 2004, Niagara Falls, 2 May 2004 through 5 May 2004 ; Volume 3 , 2004 , Pages 1241-1244 ; 08407789 (ISSN); 0780382536 (ISBN)
  9. URL: https://ieeexplore.ieee.org/document/1349621