BDD Based Decomposition of Logic Functions with Application to FPGA Synthesis.

Yung-Te Lai Massoud Pedram Sarma B. K. Vrudhula

Published in: DAC (1993)

Keyphrases

logic synthesis
database
bayesian networks
neural network
logic programming
multi valued
predicate logic