Logic Synthesis for Testability.

Chien-Chung Tsai Malgorzata Marek-Sadowska

Published in: Great Lakes Symposium on VLSI (1996)

Keyphrases

logic synthesis
heuristic search
multi valued
quantum computing
inductive learning
logic circuits
knowledge acquisition
knowledge base
search algorithm
inductive logic programming
image sequences
motion estimation