A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators | IEEE Conference Publication | IEEE Xplore