Search for tag: "autosva"
AutoSVA: Democratizing Formal Verification of Hardware Module Interactions, Marcelo Vera, GS (2311653)In academia and particularly at Princeton we have research groups making chip designs into silicon. In the industry you would have dedicated engineers doing verification, both simulating tests and…
From Research Princeton Research Day
4 likes
217 plays
|