April 26th, 2010
The functional correctness of a digital device assume today a key role in the digital device design activity, both in terms of development times and costs.
In this context the adoption of verification methodologies and technologies that allow to identify and eliminate the functional bugs in the early stages of the project become crucial.
During this lecture will be described and analyzed the sources of the digital bugs and the detection mechanisms used to identify such bugs.
We will present also the state of the art of the technologies and verification methodologies.