|
Volumn , Issue , 2003, Pages 82-87
|
A proposal for transaction-level verification with Component Wrapper Language
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;
COMPUTER SIMULATION LANGUAGES;
DESIGN;
EXHIBITIONS;
C (PROGRAMMING LANGUAGE);
|
EID: 84893771802
PISSN: 15301591
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1109/DATE.2003.1186676 Document Type: Conference Paper |
Times cited : (9)
|
References (8)
|