Synthesis on multiplexer-based programmable devices using (ordered) binary decision diagrams
Ordered binary decision diagrams and circuit structure