KIT | KIT-Bibliothek | Impressum

FELIX: Using Rewriting-Logic for Generating Functionally Equivalent Implementations

Morra, C.; Becker, J.; Ayala-Rincon, M.; Hartenstein, R.



Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Jahr 2005
Sprache Englisch
Identifikator ISBN: 0-7803-9362-7
KITopen ID: 1000014213
Erschienen in FPL 2005 - International Conference on Field Programmable Logic and Applications, 24 - 26 Aug. 2005, Tampere, Finland. Ed.: T. Rissa
Verlag IEEE Operations Center, Piscataway (NJ)
Seiten 25 - 30
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page