Search for tag: "verification"

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

CITP Seminar: Vanessa Teague - Some Election Integrity Problems are Surprisingly Easy to Solve and Others are Very Very Hard

This talk will compare two recent advances in the understanding of election integrity. The Scytl/SwissPost e-voting solution was intended to provide complete verifiability for Swiss government…

From  CI Center for Information Technology Policy on November 24th, 2020 0 likes 3 plays