Title :
Proceedings. 15th IEEE International Workshop on Rapid System Prototyping
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;
Conference_Titel :
Rapid System Prototyping, 2004. Proceedings. 15th IEEE International Workshop on
Conference_Location :
Geneva, Switzerland
Print_ISBN :
0-7695-2159-2
DOI :
10.1109/IWRSP.2004.1311076