Deterministic seed selection and pattern reduction in Logic BIST.

Ramesh Bhakthavatchalu Sreeja Krishnan V. Vineeth M. Nirmala Devi

Published in: VDAT (2014)

Keyphrases

seed selection
built in self test
region growing
modal logic
pattern matching
multi valued
logic programming
defeasible logic
predicate logic
databases
classical logic
data sets
segmentation method
probability theory
automated reasoning
sound and complete axiomatization