Sequential logic minimization based on functional testability.

Franco Fummi Donatella Sciuto Micaela Serra

Published in: ED&TC (1995)

Keyphrases

classical logic
objective function
logical framework
predicate logic
database
modal logic
multi valued
computational properties
real time
data sets
logic programming
sequential data
image processing
evolutionary algorithm
proof theory
euler lagrange