Cited By
View all- Almeida ALlanos CArias-García JAyala-Rincón MDavid EOrdonez Mde Azevedo RKinget P(2014)Verification of Hardware Implementations through Correctness of their Recursive Definitions in PVSProceedings of the 27th Symposium on Integrated Circuits and Systems Design10.1145/2660540.2660982(1-8)Online publication date: 1-Sep-2014
- Ghariani HMarrakchi ZObeid ABenSaleh MAbid MMehrez H(2014)New Coarse-Grained Configurable Architecture for DSP ApplicationsComputing in Research and Development in Africa10.1007/978-3-319-08239-4_10(205-227)Online publication date: 2-Sep-2014
- Rocha Oliveira AAyala-Rincón M(2013)Formalizing the Confluence of Orthogonal Rewriting SystemsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.113.14113(145-152)Online publication date: 28-Mar-2013
- Show More Cited By