Late Breaking Results: Polynomial Formal Verification of Fast Adders.

Alireza Mahzoon Rolf Drechsler

Published in: DAC (2021)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
program slicing
programmable logic
temporal logic
web services
error detection
multiple valued
polynomial equations