Presenter
Rocco Salvia
Biography
Rocco is a formal verification engineer at Intel since 2022 when he joined the ECC FV team and started working on the correctness of ECC algorithm. Rocco got his PhD in Computer Science at the University of Utah in 2021.
Presentations
IP
Engineering Tracks
IP