DocumentCode :
3133111
Title :
Proceedings. 15th IEEE International Workshop on Rapid System Prototyping
fYear :
2004
fDate :
30-30 June 2004
Abstract :
The following topics are dealt with: formal specification and verification; co-design tools and techniques; system modeling and architecture; and FPGA-based systems.
Keywords :
computer architecture; field programmable gate arrays; formal specification; formal verification; hardware-software codesign; FPGA-based systems; formal specification; formal verification; hardware-software codesign; system architecture; system modeling;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Rapid System Prototyping, 2004. Proceedings. 15th IEEE International Workshop on
Conference_Location :
Geneva, Switzerland
ISSN :
1074-6005
Print_ISBN :
0-7695-2159-2
Type :
conf
DOI :
10.1109/IWRSP.2004.1311076
Filename :
1311076
Link To Document :
بازگشت