Getting started with Kontrol a formal verification tool

Thu, Jan 1, 1970, 12:00 AM · 50:28

The workshop will be a crash course on Formal Verification with Kontrol. Attendants will leverage their Foundry skills to use Kontrol and get hands-on experience on how to incorporate FV into their everyday development.