Testability preserving Boolean transforms for logic synthesis.

Sandip Kundu Ankan K. Pramanick

Published in: VTS (1993)

Keyphrases

logic synthesis
multi valued
heuristic search
quantum computing
boolean functions
inductive learning
logic circuits
object oriented
optimization algorithm