Polynomial Formal Verification of Approximate Adders.

Martha Schnieber Saman Fröhlich Rolf Drechsler

Published in: DSD (2022)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
expert systems
orders of magnitude
object oriented
domain specific
exact solution
program slicing