RTL SAT simplification by Boolean and interval arithmetic reasoning.

Ganapathy Parthasarathy Madhu K. Iyer Kwang-Ting Cheng Forrest Brewer

Published in: ICCAD (2005)

Keyphrases

interval arithmetic
constraint propagation
model based diagnosis
floating point
real numbers
knowledge base
satisfiability problem
finite sets
boolean functions
boolean formula
partial derivatives
search algorithm
cost function
dynamic programming
implicit surfaces
provably correct