• Title of article

    A Survey of Hybrid Techniques for Functional Verification

  • Author/Authors

    Jayanta Bhadra، نويسنده , , Freescale Semiconductor Magdy S. Abadir، نويسنده , , Freescale Semiconductor Li-C. Wang، نويسنده , , University of California، نويسنده , , Santa Barbara Sandip Ray، نويسنده , , University of Texas at Austin ، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 2007
  • Pages
    11
  • From page
    112
  • To page
    122
  • Abstract
    This article surveys recent advances in hybrid approaches for functional verification. These approaches combine multiple verification techniques so that they complement one another, resulting in superior verification effectiveness.
  • Journal title
    IEEE Design and Test of Computers
  • Serial Year
    2007
  • Journal title
    IEEE Design and Test of Computers
  • Record number

    431722

    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=431722