A path out of the verification wilderness

Mark Peryer, Brian Bailey

Research output: Contribution to journalReview articlepeer-review


Functional verification enables to put together large and complex designs in short space of time which is focus of Electronic Design Automation (EDA) software industry. The black-box verification use only primary inputs and outputs of module which are used to determine working of module. Assertions support black-box verification style when defined in separate files from design modules. The white-box verification use all signals available in module-under-test which has advantage of trapping errors very close to the point and time of failure.

Original languageEnglish (US)
Pages (from-to)33-37
Number of pages5
JournalIEE Electronics Systems and Software
Issue number2
StatePublished - Apr 1 2004
Externally publishedYes

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Software
  • Electrical and Electronic Engineering


Dive into the research topics of 'A path out of the verification wilderness'. Together they form a unique fingerprint.

Cite this