Ingegneria
Introduction to Formal Verification of Digital Design and Jasper Apps
18 ottobre 2023
Articolo aggiornato:
Mercoledì 18 ottobre 2023, alle ore 16:00, presso l'Aula Seminari Magenta del Dipartimento di Ingegneria Industriale e dell’Informazione dell’Università di Pavia, si terrà l'incontro "Introduction to Formal Verification of Digital Design and Jasper Apps: targeted solutions that address specific design and verification challenges".
Relatore: Massimo Roselli (Cadence)
In allegato l'abstract del seminario e la breve biografia del relatore.