Assertion support in high-level synthesis design flow

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]

Authors

Aurélien Ribon

This author has not been identified. Look up 'Aurélien Ribon' in Google

Bertrand Le Gal

This author has not been identified. Look up 'Bertrand Le Gal' in Google

Christophe Jégo

This author has not been identified. Look up 'Christophe Jégo' in Google

Dominique Dallet

This author has not been identified. Look up 'Dominique Dallet' in Google