Synthesis of optical circuits using binary decision diagrams.

Arighna Deb Robert Wille Oliver Keszöcze Saeideh Shirinzadeh Rolf Drechsler

Published in: Integr. (2017)

Keyphrases

binary decision diagrams
logic synthesis
analog circuits
symbolic model checking
boolean functions
high speed
variable ordering
focal plane
planning problems
heuristic search
model checking
digital circuits
database systems
databases
mining algorithm
data sets
knowledge compilation