Testing Framework for in-Hardware Verification of the Hardware Modules Generated Using HLS | Publicación