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 on April 29th, 2021 4 likes 53 plays