Search for tag: "formal verification"
AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)In academia and particularly at Princeton we have…
From Research Princeton Research Day
4 likes
230 plays
|