Is formal being squeezed out of functional verification?

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Formal methods have long been on the verge of adoption into mainstream verification approaches, but have never managed to cross over the line. Assertion based verification techniques have renewed interest in this technology, as they have shown how static and dynamic technologies can work side by side to solve a number of critical problems. At the same time, design sizes and the need to use higher abstractions for models are making it difficult to find the right application for these tools. One of the largest problems facing these techniques is that they are not capable of replacing any aspect of a traditional verification environment, and thus their inclusion is a trade off between quality and time to market.

Original languageEnglish (US)
Title of host publicationProceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04
Pages143
Number of pages1
StatePublished - 2004
Externally publishedYes
EventProceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04 - San Diego, CA, United States
Duration: Jun 23 2004Jun 25 2004

Publication series

NameProceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04

Other

OtherProceedings - 2nd ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'04
Country/TerritoryUnited States
CitySan Diego, CA
Period6/23/046/25/04

ASJC Scopus subject areas

  • General Engineering

Fingerprint

Dive into the research topics of 'Is formal being squeezed out of functional verification?'. Together they form a unique fingerprint.

Cite this