Polynomial Formal Verification of Approximate Adders with Constant Cutwidth.

Mohamed Nadeem Chandan Kumar Jha Rolf Drechsler

Published in: ETS (2024)

Keyphrases

formal verification
model checking
model checker
automated verification
multivariate polynomials
bounded model checking
symbolic model checking
program slicing
learning algorithm
knowledge based systems
orders of magnitude
temporal logic