DocumentCode
658983
Title
Model-based hardware design
Author
Venkataramani, Guru ; Kintali, Kiran ; Prakash, Sachin ; van Beek, Stephan
Author_Institution
MathWorks, Inc., Natick, MA, USA
fYear
2013
fDate
18-21 Nov. 2013
Firstpage
69
Lastpage
73
Abstract
Ever shrinking design cycles, ever increasing design complexities, ever changing design standards, high NRE and design re-spin costs are a few of the major challenges in system-level design. In such an design environment, clock frequency, silicon footprint and power profile are no longer the sole design considerations. To this, we would have to add re-usability, platform re-targetability, testability, verifiability, standards compliance check-ability and design cycle time as first-order constraints. This paper presents model-based hardware design to address these challenges. It is a design methodology that bridges the world of system designers, software programmers, hardware engineers and verification engineers to increase productivity and produce correct-by-construction designs that match the system specification. We describe the various components of the methodology and present hard evidence of the realization of these ideals as cited by several real world case studies. In almost all cases, designers cite massive shrinkage of their design cycle time without sacrificing design quality.
Keywords
field programmable gate arrays; formal specification; hardware description languages; integrated circuit testing; logic design; FPGA; HDL; NRE; clock frequency; correct-by-construction designs; design complexities; design cycle time; design quality; design re-spin costs; design standards; model-based hardware design; platform re-targetability; power profile; silicon footprint; standards compliance check-ability; system specification; system-level design; Algorithm design and analysis; Field programmable gate arrays; Hardware; Hardware design languages; Mathematical model; Software packages; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer-Aided Design (ICCAD), 2013 IEEE/ACM International Conference on
Conference_Location
San Jose, CA
ISSN
1092-3152
Type
conf
DOI
10.1109/ICCAD.2013.6691099
Filename
6691099
Link To Document