HALib: Hardware Assertion Library for on-board verification of FPGA-based modules using HLS | IEEE Conference Publication | IEEE Xplore