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
، نويسنده ,
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.
