Synthesis on Multiplexer-Based F.P.G.A. Using Binary Decision Diagrams.

T. Besson H. Bouzouzou M. Crastes Ion Floricica Gabriele Saucier

Published in: ICCD (1992)

Keyphrases

binary decision diagrams
symbolic model checking
boolean functions
model checking
planning problems
variable ordering
knowledge compilation
information retrieval
information extraction
data warehouse
general purpose
association rule mining
allocation scheme