The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March-April (2007 vol.24)
pp: 110-111
Magdy S. Abadir , Freescale Semiconductor
Jayanta Bhadra , Freescale Semiconductor
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.
INDEX TERMS
hybrid technique, functional validation, simulation, formal verification
CITATION
Magdy S. Abadir, Jayanta Bhadra, "Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques", IEEE Design & Test of Computers, vol.24, no. 2, pp. 110-111, March-April 2007, doi:10.1109/MDT.2007.45
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool