An important aspect in providing high performance distributed systems such as multimedia systems is the combined use of hardware and software in the end systems. System design techniques should allow hardware/software co-design to integrate both means of implementation. In this paper, we show how the standardized formal language Estelle can be used to facilitate co-design. The system will first be designed in Estelle. At the point in time of final decision on which parts to implement in software and which in hardware, the original specification will be split into several partial specifications. The software parts are translated into C code, while the hardware parts are translated into VHDL code for further analysis and development. We prese...
A methodology that crriciently translates Estelle formal specifications into a VHDL description, sui...
In this thesis we present real design criteria and design building blocks in a highly procedural way...
For functional validation of heterogeneous embedded systems, hardware/software (Hw/Sw) cosimulation ...
An important aspect in providing high performance distributed systems such as multimedia systems is ...
Abstract: The use of standard languages like VHDL and C for the description of hardware and software...
ISBN: 0-7923-8013-4Introduction to Hardware-Software Co-Design presents a number of issues of fundam...
Efficient implementation of communication software is of crucial importance for high-speed networks....
International audienceCo-design is an important step during rapid system prototyping. Starting from ...
A known problem in the area of hardware/software codesign is the selection of the proper interface b...
We present a library in Haskell for programming Field Programmable Gate Arrays (FPGAs), including ha...
We present a library in Haskell for programming Field Programmable Gate Arrays (FPGAs), including ha...
Most electronic systems, whether self-contained or embedded, have a predominant digital component co...
Developing software for embedded systems presents quite the challenge---not only do these systems de...
As the system complexity grows there is a need for new methods to handle large system design. One wa...
Efficient implementation of communication software is of critical importance for high-speed networks...
A methodology that crriciently translates Estelle formal specifications into a VHDL description, sui...
In this thesis we present real design criteria and design building blocks in a highly procedural way...
For functional validation of heterogeneous embedded systems, hardware/software (Hw/Sw) cosimulation ...
An important aspect in providing high performance distributed systems such as multimedia systems is ...
Abstract: The use of standard languages like VHDL and C for the description of hardware and software...
ISBN: 0-7923-8013-4Introduction to Hardware-Software Co-Design presents a number of issues of fundam...
Efficient implementation of communication software is of crucial importance for high-speed networks....
International audienceCo-design is an important step during rapid system prototyping. Starting from ...
A known problem in the area of hardware/software codesign is the selection of the proper interface b...
We present a library in Haskell for programming Field Programmable Gate Arrays (FPGAs), including ha...
We present a library in Haskell for programming Field Programmable Gate Arrays (FPGAs), including ha...
Most electronic systems, whether self-contained or embedded, have a predominant digital component co...
Developing software for embedded systems presents quite the challenge---not only do these systems de...
As the system complexity grows there is a need for new methods to handle large system design. One wa...
Efficient implementation of communication software is of critical importance for high-speed networks...
A methodology that crriciently translates Estelle formal specifications into a VHDL description, sui...
In this thesis we present real design criteria and design building blocks in a highly procedural way...
For functional validation of heterogeneous embedded systems, hardware/software (Hw/Sw) cosimulation ...