A "Design for Verification" Methodology

  • Authors:
  • A. Castelnuovo

  • Affiliations:
  • -

  • Venue:
  • ISQED '01 Proceedings of the 2nd International Symposium on Quality Electronic Design
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

New tools are getting available on the market that help alleviating the problem and improve the quality of functional verification of today's complex systems. A methodology that makes use of such tools is described and compared to the traditional approach followed in the context of a specific project. The scope is limited to functional verification but spans from block- to system-level.