The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March-April (2007 vol.24)
pp: 112-122
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
The increasing size and complexity of industry hardware designs, along with stringent time-to-market requirements, have put a heavy burden on verification to ensure that designs are relatively bug free. A general theme successfully adopted by academia and several vendors is to apply multiple verification techniques so that they complement one another, resulting in an increase of the verification tool's overall effectiveness. Such integration must be carried out delicately and precisely so that the overall technique becomes more than merely a sum of the techniques. This article surveys the research that has taken place in this area.
INDEX TERMS
functional verification, hybrid, formal techniques, informal techniques
CITATION
Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Sandip Ray, "A Survey of Hybrid Techniques for Functional Verification", IEEE Design & Test of Computers, vol.24, no. 2, pp. 112-122, March-April 2007, doi:10.1109/MDT.2007.30
331 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool