Polynomial Formal Verification of Sequential Circuits.

Caroline Dominik Rolf Drechsler

Published in: DATE (2024)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
bounded model checking
high speed
asynchronous circuits
analog circuits
neural network
programming language
program slicing