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