Design for verification of SystemC transaction level models

Proceedings -Design, Automation and Test in Europe, DATE '05

Volumn I, Issue , 2005, Pages 560-565

  Habibi, Ali ^a   Tahar, Sofiène ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DIGITAL LIBRARIES; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; MICROPROCESSOR CHIPS;

ABSTRACT STATE MACHINES (ASM); GENERIC MASTER/SLAVE ARCHITECTURE; SYSTEMC LIBRARY; TRANSACTION LEVEL MODELING;

SYSTEMS ANALYSIS;

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

References (12)

1. Accellera Organization. Accellera Property Specification Language reference manual. Version 1.01., 2004.
2. R. Damasevicius and V. Stuikys. Application of uml for hardware design based on design process model. In Proceedings of the 2004 conference on Asia South Pacific design automation, pages 244-249, 2004.
3. A. Gawanmeh, A. Habibi, and S. Tahar. Enabling SystemC Verification using Abstract State Machines. In Forum on Specification and Design Languages, pages 306-421, Lille, France, 2004.
4. M. Gordon. Validating the psl/sugar semantics using automated reasoning. In Formal Aspects of Computing, pages 306-421, 2003.
5. M. Gordon and T. Melham. Introduction to HOL: A Theorem Proving Environment for Higher-Order Logic. Cambridge Univ. Press, 1993.
6. PCI Special Interest Group, http://www.pcisig.com/. 2004.
7. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In Specification and Validation Methods, pages 9-36. 1995.
8. Microsoft Corporation. AsmL for Microsoft NET Framework, Microsoft., 2004.
9. W. Müller, J. Ruf, and W. Rosenstiel. SystemC Methodologies and Applications. Kluwer Academic Pub., 2003.
10. Open SystemC Initiative, www.systemc.org, 2004.
11. C. Schulz-Key, M. Winterholer, T. Schweizer, T. Kuhn, and W. Rosenstiel. Object-oriented modeling and synthesis of SystemC specifications. In Proc. Asia South Pacific Design Automation, pages 238-243, 2004.
12. V. Sinha, F. Doucet, C. Siska, R. Gupta, S. Liao, and A. Ghosh. Yaml: a tool for hardware design visualization and capture. In Proc. Symposium on System Synthesis, pages 9-14, 2000.