Configware design space exploration using rewriting logic

Proceedings - 2006 International Conference on Field Programmable Logic and Applications, FPL

Volumn , Issue , 2006, Pages 931-932

  Morra, C ^a  

^a UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 46249127864     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FPL.2006.311348     Document Type: Conference Paper

References (5)

1. N. Marti-Oliet and J. Meseguer, Eds., Special issue on Rewriting Logic and its Applications., ser. Theoretical Computer Science, 2002, vol. 285, no. 2.
2. R. W. Hartenstein, M. Herz, T. Hoffmann, and U. Nageldinger, "KressArray Xplorer: a new CAD environment to optimize reconfigurable datapath array," in Proc. ASP-DAC 2000, vol. 1, 2000, pp. 163-168.
3. K. Tsoi, "Computer Arithmetic Synthesis Technologies on reconfigurable platforms," in Proc. International Conference on Field Programmable Logic and Applications (FPL 2005), vol. 1, Aug. 2005, pp. 713-714.
4. T. M. Sant'Ana and M. Ayala-Rincon, "Verification of rewrite based specifications using proof assistants," in Proc. XXXI Conferencia Latinoamericana de Informatica (CLEI 2005), 2005, pp. 699-710.
5. C. Morra, J. Becker, M. Ayala-Rincon, and R. Hartenstein, "FELIX: Using rewriting-logic for generating functionally equivalent implementations," in Proc. International Conference on Field Programmable Logic and Applications (FPL 2005), vol. 1, Aug. 2005, pp. 25-30.