Verifying imprecisely working arithmetic circuits

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 1999, Pages 65-69

  Huhn, M ^a   Schneider, K ^a   Kropf, T ^a   Logothetis, G ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARITHMETIC CIRCUIT; FORMAL VERIFICATIONS; HARDWARE REALIZATION; MATHEMATICAL SPECIFICATIONS; NUMBER REPRESENTATION; REAL NUMBER CALCULATIONS; REGISTER TRANSFER LEVEL; VERIFICATION TECHNIQUES;

DISCRETE COSINE TRANSFORMS; ERROR ANALYSIS; EXHIBITIONS;

DESIGN;

EID: 0012147336     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.1999.761098     Document Type: Conference Paper

References (11)

1. R. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35(8):677-691, August 1986.
2. R. Bryant and Y.-A. Chen. Verification or Arithmetic Circuits with Binary Moment Diagrams. In ACM/IEEE Design Automation Conference (DAC), Pittsburgh, June 1995. Carnegie Mellon University.
3. B. Char, K. Geddes, G. Gonnet, B. Leong, M. Monagan, and S. Watt. Maple V Language Reference Manual. 1992.
4. E. Clarke and E. Emerson. Design and Synthesis of Synchronization Skeletons using Branching Time Temporal Logic. In D. Kozen, editor, Workshop on Logics of Programs, volume 131 of Lecture Notes in Computer Science, pages 52-71, Yorktown Heights, New York, May 1981. Springer-Verlag.
5. E. Clarke, O. Grumberg, and D. Long. Model checking and abstraction. ACM Transactions on Programming Languages and systems, 16(5):1512-1542, September 1994.
6. D. Kapur and H. Zhang. RRL: a rewrite rule laboratory. In Lusk and Overbeek, editors, Conference on Automated Deduction (CADE), pages 768-769. Springer-Verlag, 1988.
7. C. Loeffler, A. Ligtenberg, and G. Moschytz. Practical fast 1-D DCT algorithms with 11 multiplications. In International Conference on Acoustics, Speech, and Signal Processing 1989 (ICASSP '89), pages 988-99, 1989.
8. K.McMillan. Symbolic Model Checking. Kluwer Academic Publishers, Norwell Massachusetts, 1993.
9. W. Pennebaker and J. Mitchell. JPEG Still Image Data Compression Standard. Van Nostrand Reinhold, ISBN 0-442-01272-1, 1993.
10. K. Schneider andM. Huhn. Comparing model-checking and term-rewriting in the verification of an embedded system. In F. Rammig, editor, DIPES98: International IFIP Workshop on Distributed and Parallel Embedded Systems, pages 93-102. Kluwer, January 1999.
11. S. Wolfram. Mathematica-A System for Doing Mathematics by Computer. 1991.