01:24:23 duration 1 hour 24 minutes
SoA Lecture Series: 'Relatives" a…
SoA Lecture Series: 'Relatives" a lecture by Chris Cornelius (Oneida nation)
02:53 duration 2 minutes 53 seconds
AutoSVA: Democratizing Formal Verification of…
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…