AutoSVA: Democratizing Formal Verification of RTL Module Interactions.

Marcelo Orenes-Vera Aninda Manocha David Wentzlaff Margaret Martonosi

Published in: CoRR (2021)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
fuzzy logic
artificial intelligence
open source
software architecture
temporal logic
interaction patterns