Mitchell A. Thornton V. S. S. Nair Behavioral synthesis of combinational logic using spectral-based heuristics. 219-230 1999 4 ACM Trans. Design Autom. Electr. Syst. 2 http://doi.acm.org/10.1145/307988.308000 db/journals/todaes/todaes4.html#ThorntonN99