FELIX: Using rewriting-logic for generating functionally equivalent implementations (2005)

Cached

Download Links

by C. Morra , J. Becker , M. Ayala-Rincón , R. Hartenstein
Venue:IN PROC. INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL 2005
Citations:9 - 8 self