Functional Refinement: A Generic Methodology for Managing ESL Abstractions | IEEE Conference Publication | IEEE Xplore