Seminar on: "Digital Verification Technologies and Methods"
Matteo Barbati
Digital Verification Engineer
High-Speed IP

E.G.5 Room
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.

Fabrizio Ferrandi

Research area:
Systems architectures