AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)

From Research Princeton Research Day on April 29th, 2021  

views