Polynomial Formal Verification of Complex Multipliers.

Alireza Mahzoon Rolf Drechsler

Published in: MBMV (2022)

Keyphrases

formal verification
model checking
automated verification
model checker
symbolic model checking
bounded model checking
high level
artificial intelligence
complex systems
knowledge acquisition
functional verification