• DocumentCode
    1513479
  • Title

    Coverage metrics for functional validation of hardware designs

  • Author

    Tasiran, Serdar ; Keutzer, Kurt

  • Author_Institution
    Compaq Comput. Corp., Palo Alto, CA, USA
  • Volume
    18
  • Issue
    4
  • fYear
    2001
  • Firstpage
    36
  • Lastpage
    45
  • Abstract
    Software simulation remains the primary means of functional validation for hardware designs. Coverage metrics ensure optimal use of simulation resources, measure the completeness of validation, and direct simulations toward unexplored areas of the design. This article surveys the literature, and discusses the experiences of verification practitioners, regarding coverage metrics
  • Keywords
    formal verification; logic CAD; logic simulation; logic testing; coverage metrics; functional validation; hardware designs; simulation resources; Analytical models; Area measurement; Computational modeling; Computer bugs; Computer industry; Formal verification; Hardware; Particle measurements; System testing; Virtual manufacturing;
  • fLanguage
    English
  • Journal_Title
    Design & Test of Computers, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7475
  • Type

    jour

  • DOI
    10.1109/54.936247
  • Filename
    936247
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1513479