The workshop is offered to the students of the Electronics Engineering with curriculum Embedded Systems. The students will learn and apply the most important and up-to-date verification techniques applied in complex microelectronic systems and will involve three courses: where they will study the metods and apply in small subblocks, where they will apply te verification techniques on a RISC architecture and in the course where they will compare the differences between verification and testing in case of possible prefabrication design errors and post fabrication faults.

The workshop has the goal of exploring the Verification techniques now highly important in commercial integrated architectures.

Knowledges on the design of digital circuits and architectures.

Learning of the Verification languages, techniques and tool. Application of the techniques on simple digital blocks. Application of verification strategies on a complex system (e.g. a microprocessor).

The course is developed thorugh design activities in collaboration with academic tutor that will guide the verification process.

Documentation on tools and methodologies available through manuals and scientific papers on case studies.

Modalitą di esame: Elaborato progettuale in gruppo;

Exam: Group project;

... Final design project developed in groups. At the end of the workshop all the group will present the work in a public contest.

Gli studenti e le studentesse con disabilitą o con Disturbi Specifici di Apprendimento (DSA), oltre alla segnalazione tramite procedura informatizzata, sono invitati a comunicare anche direttamente al/la docente titolare dell'insegnamento, con un preavviso non inferiore ad una settimana dall'avvio della sessione d'esame, gli strumenti compensativi concordati con l'Unitą Special Needs, al fine di permettere al/la docente la declinazione pił idonea in riferimento alla specifica tipologia di esame.