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
4 likes
| 79
79 plays
|
© 2022 The Trustees of Princeton University
Broadcast Center | 1E12 Green Hall | Princeton, NJ 08544 | 609.258.7872 | [email protected]