|
Volumn , Issue , 2004, Pages 344-348
|
C-based behavioral synthesis and verification analysis on industrial design examples
a
NEC CORPORATION
(Japan)
|
Author keywords
[No Author keywords available]
|
Indexed keywords
BEHAVIOR SYNTHESIS;
CODE EFFICIENCY;
DEBUGGERS;
DESIGN FLOW;
BUSES;
COMMUNICATION SYSTEMS;
COMPUTER PROGRAMMING LANGUAGES;
COMPUTER SIMULATION;
DIGITAL LIBRARIES;
EMBEDDED SYSTEMS;
INTERFACES (COMPUTER);
MICROPROCESSOR CHIPS;
NETWORK PROTOCOLS;
DIGITAL SIGNAL PROCESSING;
|
EID: 2442588793
PISSN: None
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (24)
|
References (6)
|