Title :
Proceedings. The 16th International Workshop on Rapid System Prototyping (RSP 2005)
Abstract :
The following topics are dealt with: rapid system prototyping; system-on-chip; FPGA; software design; software prototyping; processor design; reconfigurable architecture; formal specification; formal verification; hardware prototyping; embedded system.
Keywords :
electronic design automation; embedded systems; field programmable gate arrays; formal specification; formal verification; hardware-software codesign; reconfigurable architectures; software prototyping; system-on-chip; FPGA; embedded system; formal specification; formal verification; hardware prototyping; processor design; rapid system prototyping; reconfigurable architecture; software design; software prototyping; system-on-chip;
Conference_Titel :
Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
Conference_Location :
Montreal, Que.
Print_ISBN :
0-7695-2361-7