1. Input-Driven partitioning methods and application to synthesis on table-lookup-based FPGAs;Abouzeid;IEEE Trans. CAD,1993
2. The decomposition of switching functions;Ashenhurst,1957
3. Input driven synthesis on PLDs and PGAs;Babba,1992
4. Shared multi-terminal binary decision diagrams for multiple-output functions;Babu,1998
5. Berkeley Logic Synthesis Group, ABC: A System for Sequential Synthesis and Verification, Dec. 2005. [Online]. Available: http://www.eecs.berkeley.edu/∼alanmi/abc.