A proposal for transaction-level verification with component wrapper language

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 82-87

  Ara, Koji ^a   Suzuki, Kei ^a  

^a HITACHI LTD   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPONENT WRAPPER LANGUAGES; CONVENTIONAL METHODS; DESIGN PHASE; NEW APPROACHES; PROTOCOL CHECKERS; TEST PATTERN; TRANSACTION LEVEL; TRANSACTION-LEVEL VERIFICATION;

C (PROGRAMMING LANGUAGE); EXHIBITIONS;

DESIGN;

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

References (8)

1. C. Norris Ip and Stuart Swan, Using Transaction-Based Verification in SystemC, white paper, available at www.cadence.com/company/transaction- verification-using-s ystemc.pdf
2. Chris Browy, Comparing TestWizard and Specman for Transaction-level Verification, white paper, available at www.avery-design.com/twwp.html
3. Functional Specification and User Guide for TestBuilder 1.3, available at www.testbuilder.net
4. Functional Specification for SystemC 2.0, available at www.SystemC.org
5. OpenVera Language Reference Manual 2.0, available at www.open-vera.com
6. Component Wrapper Language Specifications and User?s manual, available at http://koigakubo.hitachi.co.jp/~sl/cwl/html/en/, 2002
7. Scott Taylor, Michael Quinn, Darren Brown, Nathan Dohm, Scot Hildebrandt, James Huggins, and Carl Ramey, Functional Verification of a Multiple-issue, Out-of-Order, Superscalar Alpha Processor-The DEC Alpha 21264 Microprocessor, Design Automation Conference, pp.638-644, 1998
8. Kei Suzuki, Koji Ara, and Kazuo Yano, OwL: An Interface Description Language for IP Reuse, Custom Integrated Circuit Conference, pp. 403-406, 1999