FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations (0)

by C Morra, J Becker, M Ayala-Rincon, R Hartenstein
Venue:in Proc. 15th Int’l Conference on FieldProgrammable Logic and Applications (FPL’05), Aug. 24 - 26