Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology
Add to Reading List
Document Date: 2004-07-19 17:54:10
Open Document
File Size: 632,13 KB
Share Result on Facebook
Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology