Mohamed Ben Hammouda, Philippe Coussy, Loïc Lagadec. Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware Accelerators.
ICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia.
⟨hal-01009572⟩