SyCE: An integrated environment for system design in systemC

Proceedings of the International Workshop on Rapid System Prototyping

Volumn , Issue , 2005, Pages 258-260

  Drechsler, Rolf ^a   Fey, Görschwin ^a   Genz, Christian ^a   Große, Daniel ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN ENVIRONMENT; PARSER; SOURCE CODES; VISUALIZATION TOOLS;

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; EQUIVALENCE CLASSES; PROGRAM DEBUGGING;

SYSTEMS ANALYSIS;

EID: 26444589672     PISSN: 10746005     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RSP.2005.46     Document Type: Conference Paper

References (13)

1. R. Drechsler. Advanced Formal Verification. Kluwer Academic Publishers, 2004.
2. 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.
3. G. Fey and R. Drechsler. Efficient hierarchical debugging for property checking. Technical report, DDECS, Bremen, 2005.
4. G. Fey, D. Große, T. Cassens, C. Genz, T. Warode, and R. Drechlser. ParSyC: An efficient SystemC parser. In Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), pages 148-154, 2004.
5. D. Große and R. Drechsler. Checkers for SystemC designs. In Second ACM & IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pages 171-178, 2004.
6. D. Große and R. Drechsler. CheckSyC: An efficient property checker for RTL SystemC designs. In IEEE International Symposium on Circuits and Systems, 2005.
7. D. Große, R. Drechsler, L. Linhard, and G. Angst. Efficient automatic visualization of SystemC designs. In Forum on Specification and Design Languages, pages 646-657, 2003.
8. T. Grötker, S. Liao, G. Martin, and S. Swan. System Design with SystemC. Kluwer Academic Publishers, 2002.
9. R. G. (moderator). IEEE design and test roundtable on C++-based design. IEEE Design & Test of Comp., pages 115-123, 2001. May-June.
10. W. Müller, W. Rosenstiel, and J. Ruf, editors. SystemC Methodologies and Applications. Kluwer Academic Publishers, 2003.
11. T. Parr. Language Translation using PCCTS and C++: A Reference Guide. Automata Publishing Co., 1997.
12. 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.
13. Synopsys. Describing Synthesizable RTL in SystemC™, Vers. 1.1. Synopsys Inc., 2002. Available at http://www.synopsys.com.