Rapid Prototyping and Verification of Hardware Modules Generated Using HLS - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Julian Caba, João M. P. Cardoso, Fernando Rincón, Julio Dondo, Juan Carlos López. Rapid Prototyping and Verification of Hardware Modules Generated Using HLS. In Nikolaos S. Voros, Michael Hübner, Georgios Keramidas, Diana Goehringer, Christos P. Antonopoulos, Pedro C. Diniz, editors, Applied Reconfigurable Computing. Architectures, Tools, and Applications - 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings. Volume 10824 of Lecture Notes in Computer Science, pages 446-458, Springer, 2018. [doi]

The following publications are possibly variants of this publication:

Testing Framework for in-Hardware Verification of the Hardware Modules Generated Using HLSJulian Caba, Fernando Rincón, Julio Dondo, Jesús Barba, Manuel J. Abaldea, Juan Carlos López. patmos 2018: 103-110 [doi]

HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLSJulián Caba, F. Rincón, J. Barba, J. A. de la Torre, Julio Dondo, J. C. López. norchip 2019: 1-7 [doi]

runs on WebDSL