Title :
Model-based hardware design
Author :
Venkataramani, Guru ; Kintali, Kiran ; Prakash, Sachin ; van Beek, Stephan
Author_Institution :
MathWorks, Inc., Natick, MA, USA
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;
Conference_Titel :
Computer-Aided Design (ICCAD), 2013 IEEE/ACM International Conference on
Conference_Location :
San Jose, CA
DOI :
10.1109/ICCAD.2013.6691099