• DocumentCode
    2081752
  • Title

    System design utilizing integrated specification and performance models

  • Author

    Sarka, Ambar ; Waxman, Ronald ; Cohoon, James P.

  • Author_Institution
    Dept. of Comput. Sci., Virginia Univ., Charlottesville, VA, USA
  • fYear
    1994
  • fDate
    1-4 May 1994
  • Firstpage
    90
  • Lastpage
    99
  • Abstract
    We discuss bringing two early stages of digital system design-operational specification modeling and performance modeling-under the same simulation environment. This unification is possible by integrating the operational specification model and the performance model for a given system under design, so that the two models can be simultaneously simulated and analyzed in a synergistic manner. Such an integration enables a novel design methodology that makes specification modeling an integral part of the design process
  • Keywords
    circuit CAD; formal specification; performance evaluation; specification languages; design process; digital system design; operational specification modeling; performance modeling; performance models; simulation environment; Analytical models; Computational modeling; Computer science; Computer simulation; Costs; Design methodology; Digital systems; Performance analysis; Process design; System performance;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    VHDL International Users Forum. Spring Conference, 1994. Proceedings of
  • Conference_Location
    Oakland, CA
  • Print_ISBN
    0-8186-6215-8
  • Type

    conf

  • DOI
    10.1109/VIUF.1994.323961
  • Filename
    323961