Functional Refinement: A Generic Methodology for Managing ESL Abstractions. - Syed Saif Abrar; Aravinda Thimmapuram (VLSI Design, 2010)