Jennifer Gillenwater Gregory Malecha Cherif Salama Angela Yun Zhu Walid Taha Jim Grundy John O'Leary Synthesizable High Level Hardware Descriptions. 339-369 2010 28 New Generation Comput. 4 http://dx.doi.org/10.1007/s00354-008-0093-1 db/journals/ngc/ngc28.html#GillenwaterMSZTGO10