Logic Partitioning and Resynthesis for Testability.

Kaushik De Prithviraj Banerjee

Published in: ITC (1991)

Keyphrases

database
predicate logic
asynchronous circuits
real time
data mining
modal logic
multi valued
epistemic logic
data sets
genetic algorithm
learning algorithm
database systems
automated reasoning
classical logic
formal theory
partitioning algorithm