Checkers for SystemC designs

Proceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04

Volumn , Issue , 2004, Pages 171-178

  Große, Daniel ^a   Drechsler, Rolf ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SIMULATION; COMPUTER SOFTWARE; HIGH LEVEL LANGUAGES;

ON-LINE TESTING; SOFTWARE INTEGRATION; SYSTEMC DESIGN; VERIFICATION;

LARGE SCALE SYSTEMS;

EID: 26444504605     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. |1] J. Bormann and C. Spalinger. Formale Verifikation für Nicht-Formalisten (Formal verification for non-formalists). Informationstechnik und Technische Informatik, 43:22-28, 2001.
2. R. Drechsler. Synthesizing checkers for on-line verification of system-on-chip designs. In IEEE International Symposium on Circuits and Systems, pages IV:748-IV:751, 2003.
3. R. Drechsler, editor. Advanced Formal Verification. Kluwer Academic Publishers, 2004.
4. R. Drechsler and D. Große. Reachability analysis for formal verification of SystemC. In EUROMICRO, pages 337-340, 2002.
5. R. Drechsler and S. Höreth. Gatecomp: Equivalence checking of digital circuits in an industrial environment. In Int'l Workshop on Boolean Problems, pages 195-200, 2002.
6. F. Ferrandi, M. Rendine, and D. Scuito. Functional verification for SystemC descriptions using constraint solving. In Design, Automation and Test in Europe, pages 744-751, 2002.
7. H. Foster, A. Krolnik, and D. Lacey. Assertion-Based Design. Kluwer Academic Publishers, 2003.
8. D. Große and R. Drechsler. Formal verification of LTL formulas for SystemC designs. In IEEE International Symposium on Circuits and Systems, pages V:245-V:248, 2003.
9. T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
10. P. Johannsen and R. Drechsler. Formal verification on register transfer level - utilizing high-level information for hardware verification. In IFIP Int'l Conf. on VLSI, pages 127-132, 2001.
11. S. Liao, S. Tjiang, and R. Gupta. An efficient implementation of reactivity for modeling hardware in the scenic design environment. In Design Automation Conf., pages 70-75, 1997.
12. W. Müller, W. Rosenstiel, and J. Ruf, editors. SystemC Methodologies and Applications. Kluwer Academic Publishers, 2003.
13. J. Ruf, D. W. Hoffmann, T. Kropf, and W. Rosenstiel. Simulation-guided property checking based on multi-valued ar-automata. In Design. Automation and Test in Europe, pages 742-748, 2001.
14. Synopsys Inc., CoWare Inc., and Frontier Design Inc., http://www.systemc.org. Functional Specification for SystemC 2.0.