• 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