%0 Conference Paper %1 DillT99 %A Dill, David L. %A Tasiran, Serdar %B ICCAD '99: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design %C Piscataway, NJ, USA %D 1999 %I IEEE Press %K imported %P 221 %T Formal verification meets simulation (embedded tutorial) (abstract only) %U http://portal.acm.org/citation.cfm?id=339492.339640# %X This embedded tutorial explores some of the options for verification in the territory between current methods based simulation and emulation, and formal verification, Topics covered will include: coverage metrics and their effectiveness at uncovering bugs, symbolic simulation for partial formal verification, and directed search of a design. criterion, examples demonstrate that accurate approximations are possible well into the RF frequency range even with expansions about s=0. %@ 0-7803-5832-5

@inproceedings{DillT99, abstract = {This embedded tutorial explores some of the options for verification in the territory between current methods based simulation and emulation, and formal verification, Topics covered will include: coverage metrics and their effectiveness at uncovering bugs, symbolic simulation for partial formal verification, and directed search of a design. criterion, examples demonstrate that accurate approximations are possible well into the RF frequency range even with expansions about s=0.}, added-at = {2009-05-13T17:56:19.000+0200}, address = {Piscataway, NJ, USA}, author = {Dill, David L. and Tasiran, Serdar}, biburl = {https://www.bibsonomy.org/bibtex/24dbf7b06eede434b47139acd99c24a5f/dkorchem}, booktitle = {ICCAD '99: Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design}, description = {Formal verification meets simulation (embedded tutorial) (abstract only)}, interhash = {fe7514d3e24e2471875ffe1553e34883}, intrahash = {4dbf7b06eede434b47139acd99c24a5f}, isbn = {0-7803-5832-5}, keywords = {imported}, location = {San Jose, California, United States}, note = {Chairman-Sentovich,, Ellen M.}, pages = 221, publisher = {IEEE Press}, timestamp = {2009-05-13T17:56:19.000+0200}, title = {Formal verification meets simulation (embedded tutorial) (abstract only)}, url = {http://portal.acm.org/citation.cfm?id=339492.339640#}, year = 1999 }