Syed Saif Abrar, Aravinda Thimmapuram. Functional Refinement: A Generic Methodology for Managing ESL Abstractions. In VLSI Design 2010: 23rd International Conference on VLSI Design, 9th International Conference on Embedded Systems, Bangalore, India, 3-7 January 2010. pages 122-127, IEEE, 2010. [doi]
Abstract is missing.