Using LLMs to Facilitate Formal Verification of RTL.

Marcelo Orenes-Vera Margaret Martonosi David Wentzlaff

Published in: CoRR (2023)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
program slicing
model based diagnosis
functional verification
neural network
domain specific
temporal logic