Oliver Pell, Wayne Luk. Quartz: a framework for correct and efficient reconfigurable design. In 2005 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2005, Puebla City, Mexico, September 28-30, 2005. IEEE Computer Society, 2005. [doi]
Abstract is missing.