AutoSVA: Democratizing Formal Verification of RTL Module Interactions.

Marcelo Orenes-Vera Aninda Manocha David Wentzlaff Margaret Martonosi

Published in: DAC (2021)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
orders of magnitude
knowledge based systems
automated reasoning
interaction patterns