On the design and verification methodology of the look-aside interface

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

Volumn 2005, Issue , 2005, Pages 290-295

  Habibi, All ^a   Ahmed, Asif Iqbal ^a   Mohamed, Otmane Ait ^a   Tahar, Sofiène ^a  

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

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER AIDED DESIGN; COMPUTER SIMULATION; DIGITAL LIBRARIES; EVALUATION; MATHEMATICAL MODELS; PROGRAM PROCESSORS;

ABSTRACT STATE MACHINES (ASM); LOOK-ASIDE INTERFACE; NETWORK PROCESSORS; UML SPECIFICATION;

INTERFACES (COMPUTER);

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

References (10)

1. Accellera Organization. Open Verification Library, Assertion Monitor Reference Manual, v 03.06.06., 2003.
2. Accellerab Organization. Accellera Property Specification Language reference manual. Version 1.01., 2004.
3. H. Bhugra. La-1b: Moving the look-aside interface forward. CommsDesign, August 2002.
4. IBM Haifa Research Laboratories. RuleBase Formal Verification Tool (Version 1.5). Users Guide. May 2003.
5. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
6. Microsoft Corporation. AsmL for Microsoft .NET Framework, Microsoft., 2004.
7. Network Processing Forum. Look-Aside (LA-1) Interface, Implementation Agreement, Revision 1.1. Kluwer Academic Publishers, April 15, 2004.
8. Open SystemC Initiative. www.systemc.org, 2004.
9. OSL SystemC 2.0.1 language reference manual. 2004.
10. K. Shimizu, D. L. Dill, and A. J. Hu. Monitor-based formal specification of PCI. In Formal Methods in Computer-Aided Design, pages 335-353, Austin, Texas, November 2000.