PREST: a system for logic partitioning and resynthesis for testability.

Kaushik De Prithviraj Banerjee

Published in: IEEE Trans. Very Large Scale Integr. Syst. (1993)

Keyphrases

classical logic
real time
probabilistic logic
proof theory
sound and complete axiomatization
data sets
neural network
image segmentation
evolutionary algorithm
model checking
modal logic
multi valued
nonmonotonic logics
asynchronous circuits
test data generation
logic synthesis