Mayler G. A. Martins Renato P. Ribas André Inácio Reis Functional composition: A new paradigm for performing logic synthesis. 236-242 2012 ISQED http://dx.doi.org/10.1109/ISQED.2012.6187500 conf/isqed/2012 db/conf/isqed/isqed2012.html#MartinsRR12