Assertion based verification of PSL for systemC designs

2004 International Symposium on System-on-Chip Proceedings

Volumn , Issue , 2004, Pages 177-180

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

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

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER SIMULATION; COMPUTER SOFTWARE; PACKET SWITCHING; PROBLEM SOLVING; SYNCHRONIZATION; SYSTEMS ANALYSIS;

DESIGN CYCLE; PROPERTY SPECIFICATION LANGUAGE (PSL); SOFTWARE SYSTEMS; SYSTEM LEVEL LANGUAGES;

COMPUTER HARDWARE DESCRIPTION LANGUAGES;

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

References (8)

1. Accellera Organization. Accellera Property Specification Language Reference Manual, version 1.01. http://www.accellera.org, 2004.
2. Y. Gurevich. Evolving Algebras 1993: Lipari Guide. In E. Börger, editor, Specification and Validation Methods, pages 9-36. Oxford University Press, 1995.
3. A. Habibi, A. Gawanmeh, and S. Tahar. Embedding of PSL in ASM with an Application to SystemC Verification. Technical Report, Department of Electrical and Computer Engineering, Concordia University, May 2004.
4. A. Habibi and S. Tahar. On the Extension of SystemC by SystemVerilog Assertions. In IEEE Canadian Conference on Electrical and Computer Engineering, IEEE, Niagara Falls, Ontario, Canada, May 2004.
5. J. Huggins. Abstract State Machines, http://www.eecs.umich.edu/gasm, 2003.
6. Microsoft Corporation. AsmL for Microsoft. Net Framework (version 2.1.5.7). http://www.research.microsoft.com/foundations/asml, 2004.
7. Open SystemC Initiative. SystemC 2.0.1 language reference manual. 2003.
8. Open SystemC Initiative, http://www.systemc.org, 2004.