Sequential logic synthesis using symbolic bi-decomposition.

Victor N. Kravets Alan Mishchenko

Published in: DATE (2009)

Keyphrases

logic synthesis
bi decomposition
multi valued
heuristic search
quantum computing
inductive learning
boolean functions
functional properties
real time
relational databases
logic circuits