Name
Abstract | ||
|---|---|---|
Model-Based Design is presented as consisting of four elements: (i) executable specification, (ii) design with simulation, (iii) implementation through code generation, and (iv) continuous test and verification. This presentation concentrates on the combined design and implementation as model elaboration. It is shown how the design of an edge detection filter can be systematically brought to an implementation by comparing a reference algorithm to an increasingly detailed representation of the implementation. Automatic program synthesis allows the generation of C code or a representation in a hardware description language (HDL). The HDL emulation can then be co-simulated in the system context to study behavior of an implementation at a cycle accurate level. This reduces expensive hardware iteration, facilitates analysis of system characteristics with detailed component implementation models, and mitigates the need for extensive testbench design. |
Year | DOI | Venue |
|---|---|---|
2007 | 10.1109/MSE.2007.65 | MSE |
Keywords | Field | DocType |
hardware description languages,emulation,embedded systems,hardware description language,edge detection,microelectronics,system testing,embedded system,code generation,algorithm design and analysis,model based design | Computer architecture,Program synthesis,Test bench,Computer science,Edge detection,Model-based design,Code generation,Emulation,Embedded system,Executable,Hardware description language | Conference |
ISBN | Citations | PageRank |
0-7695-2849-X | 1 | 0.38 |
References | Authors | |
7 | 1 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Pieter J. Mosterman | 1 | 429 | 53.18 |