Polynomial Formal Verification of Prefix Adders.

Alireza Mahzoon Rolf Drechsler

Published in: ATS (2021)

Keyphrases

formal verification
bit parallel
model checking
model checker
bounded model checking
data structure
symbolic model checking
automated verification
pattern matching
programmable logic
program slicing
prefix tree
tree structure
multiple valued
functional verification