Loading [MathJax]/extensions/MathMenu.js
A Survey of Hybrid Techniques for Functional Verification | IEEE Journals & Magazine | IEEE Xplore

A Survey of Hybrid Techniques for Functional Verification


Abstract:

This article surveys recent advances in hybrid approaches for functional verification. These approaches combine multiple verification techniques so that they complement o...Show More

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.
Published in: IEEE Design & Test of Computers ( Volume: 24, Issue: 2, March-April 2007)
Page(s): 112 - 122
Date of Publication: 18 June 2007

ISSN Information:


Contact IEEE to Subscribe

References

References is not available for this document.