Assertion support in high-level synthesis design flow.

Aurlien Ribon, Bertrand Le Gal, Christophe Jgo, Dominique Dallet

Browse the full FDL paper archive.