A design approach to automatically synthesize ANSI-C assertions during High-Level Synthesis of hardware accelerators.

Mohamed Ben Hammouda, Philippe Coussy, Loc Lagadec

Browse the full ISCAS paper archive.