• DocumentCode
    3249796
  • Title

    A functional verification environment

  • Author

    Sagahyroon, A. ; Lakkaraju, G. ; Karunaratne, M.

  • Author_Institution
    Dept. of Comput. Engr., American Univ., Sharjah, United Arab Emirates
  • fYear
    2005
  • fDate
    7-10 Aug. 2005
  • Firstpage
    108
  • Abstract
    The lack of flexible verification environments that allow verification components reuse across ASIC design projects keep the verification cost very high. Design engineers have made design reuse central in bringing the design effort´s complexity back to a manageable size. To reduce development time and effort, significant design blocks are reused from one project to the next. Considering the fact that verification consumes more resources than design does in a typical design project, it would be of great value to build verification components that are modular and reusable. In this paper, we present a verification methodology that utilizes a bottom-up, functional design verification strategy that encourages building and using modular and reusable verification components. At the core of this approach is a library of components specially designed for re-use. This verification approach is presented in the context of the relatively new IEEE ten Gigabit Ethernet standard (IEEE 802.3ae).
  • Keywords
    application specific integrated circuits; formal verification; logic design; ASIC design; IEEE 802.3ae standard; IEEE ten Gigabit Ethernet standard; bottom-up verification strategy; design reuse; functional verification environment; modular verification components; reusable verification components; Application specific integrated circuits; Buildings; Computer bugs; Costs; Design engineering; Engineering management; Fabrication; Integrated circuit testing; Logic; Silicon;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 2005. 48th Midwest Symposium on
  • Print_ISBN
    0-7803-9197-7
  • Type

    conf

  • DOI
    10.1109/MWSCAS.2005.1594051
  • Filename
    1594051