Aurélien Ribon, Bertrand Le Gal, Christophe Jégo, Dominique Dallet. Assertion support in high-level synthesis design flow. In 2011 Forum on Specification & Design Languages, FDL 2011, Oldenburg, Germany, September 13-15, 2011. pages 1-8, IEEE, 2011. [doi]
Abstract is missing.