Design for verification of a PCI bus in systemC

2004 International Symposium on System-on-Chip Proceedings

Volumn , Issue , 2004, Pages 201-204

  Oumalou, Karim ^a   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; DATA REDUCTION; DATA TRANSFER; EMBEDDED SYSTEMS; INTELLECTUAL PROPERTY; MATHEMATICAL MODELS; REAL TIME SYSTEMS;

ABSTRACT STATE MACHINES (ASM); BUS ARBITRATION; DATA PATHS; SYSTEM-ON-A-CHIP (SOC);

SYSTEMS ANALYSIS;

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

References (11)

1. Accellera Organization. Accellera Property Specification Language Reference Manual, version 1.01. http://www.accellera.org, 2004.
2. F. Bruschi and F. Ferrandi. Synthesis of Complex Control Structures from Behavioral SystemC Models. In Proc. Design, Automation and Test in Europe, pages 20112-20119, Munich, Germany, March 2003.
3. A. Gawanmeh, A. Habibi, and S. Tahar. An Executable Operational Semantics for SystemC using Abstract State Machines. Technical report, Department of Electrical and Computer Engineering, Concordia University, March 2004.
4. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating Finite State Machines from Abstract State Machines. Software Engineering Notes, 27(4): 112-122, 2002.
5. 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.
6. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
7. Microsoft Corporation. AsmL for Microsoft .Net Framework (version 2.1.5.7). http://www.research.microsoft.com/foundations/asml, 2004.
8. Open SystemC Initiative. SystemC 2.0.1 Language Reference Manual. 2003.
9. Open SystemC Initiative, http://www.systemc.org, 2004.
10. PCI-Sig. PCI Special Interest Group, http://www.pcisig.com, 2004.
11. K. Shimizu, D. L. Dill, and A. J. Hu. Monitor-Based Formal Specification of PCI. In Proc. Formal Methods in Computer-Aided Design, pages 335-353, Austin, Texas, USA, November 2000.