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