DeltaSyn: An efficient logic difference optimizer for ECO synthesis.

Smita Krishnaswamy Haoxing Ren Nilesh Modi Ruchir Puri

Published in: ICCAD (2009)

Keyphrases

logic synthesis
functional programs
modal logic
logic programming
program synthesis
databases
computationally efficient
query optimization
automated reasoning
probability theory
multi valued
classical logic
computational properties
predicate logic