• Title of article

    Guest Editorsʹ Introduction: Attacking Functional Verification through Hybrid Techniques

  • Author/Authors

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

  • Issue Information
    روزنامه با شماره پیاپی سال 2007
  • Pages
    2
  • From page
    110
  • To page
    111
  • Abstract
    Hybrid techniques are effective for exploring interesting corner cases, coverage holes, invariant variations, and so forth, in the general area of directed functional validation. However, despite the emergence of several effective hybrid validation techniques, several questions still remain. The five articles in this special issue help explain some of the different facets of this area.
  • Journal title
    IEEE Design and Test of Computers
  • Serial Year
    2007
  • Journal title
    IEEE Design and Test of Computers
  • Record number

    431721

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