Search for tag: "academia"

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 51 plays

Welcome - Mark Zondlo

Princeton Effiliates 2017

From  Broadcast Center Staff on November 27th, 2017 0 likes 32 plays