Synthesis of Multiplexor-Based FPGAs Using 123-Decision Diagrams

doi 10.1109/imtc.1998.679821