Evaluating and comparing simulation verification vs. Formal verification approach on block level design

Eyal Segev, Sharon Goldshlager, Hillel Miller, Oren Shua, Olga Sher, Shlomo Greenberg

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

9 Scopus citations

Abstract

In the last Tew years the logic design has become very complex in term of logic functionality. System On a Chip (SOC) designs are an integration of multiple modules and cores. In many cases SoC integration is a result of integrating few chips together. Each piece (module or core) must be verified separately (stand alone) prior to chip level verification. Stand-alone logic verification of the design is one of the most important steps in the overall design effort. Following the increase of the amount of functionality at each module, the logic verification effort has become one of the most resources consuming tasks. Two logic verification methods are commonly used when verifiying a SOC: simulation based verification and formal based verification. In this paper the two methods are explored and compared with respect to the time required for setup and running the environment, ease of debugging the reported failures, power, coverage and confidence level. Our main goal is to establish criteria for optimal use of simulation based verification and formal based verification in the verification process and implement both methods on the pcmciajf block. PCMCIA (Personal Computer Memory Card International Association) is a standard for using memory and I/O devices as insertable, exchangeable peripherals for personal computers. In the current research we derived some important conclusions concerning the matching of these methods for the verification of blocks of a similar type.

Original languageEnglish
Title of host publication11th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2004
Pages515-518
Number of pages4
StatePublished - 1 Dec 2004
Event11th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2004 - Tel Aviv, Israel
Duration: 13 Dec 200415 Dec 2004

Publication series

Name11th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2004

Conference

Conference11th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2004
Country/TerritoryIsrael
CityTel Aviv
Period13/12/0415/12/04

ASJC Scopus subject areas

  • Engineering (all)

Fingerprint

Dive into the research topics of 'Evaluating and comparing simulation verification vs. Formal verification approach on block level design'. Together they form a unique fingerprint.

Cite this