Functional Verification of Arithmetic Circuits: Survey of Formal Methods.

Maciej J. Ciesielski Atif Yasin Jiteshri Dasari

Published in: DDECS (2022)

Keyphrases

formal methods
functional verification
model checking
formal verification
formal analysis
knowledge based systems
formal specification
safety critical
artificial intelligence
high speed
software engineering
machine learning
open source
modeling language
development lifecycle
formal specification language