Best Presentation award at DAC 2022

The work "Verifying Register Maps with JasperGold: How Formal compares to UVM" is a result of the collaboration between DET and STMicroelectronics. Edoardo Bollea developed the main results of this work during his master thesis in Electronic Engineering under the supervision of Eng. Davide Sanalitro (STMicroelectronics) and Profs. Maurizio Martina and Guido Masera (DET). Besides, the work received the Best Presentation award for the FrontEnd Design track at DAC 2022, 13 July 2022, S. Francisco, USA.