Carlos Morra, Jürgen Becker, Mauricio Ayala-Rincón, Reiner W. Hartenstein. FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations. In Tero Rissa, Steven J. E. Wilton, Philip Heng Wai Leong, editors, Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), Tampere, Finland, August 24-26, 2005. pages 25-30, IEEE, 2005.
Abstract is missing.