Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing.

Mauricio Ayala-Rincn, Ricardo P. Jacobi, Carlos H. Llanos, Reiner W. Hartenstein

Browse the full FDL paper archive.