Towards an efficient assertion based verification of SystemC designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ali Habibi, Sofiène Tahar. Towards an efficient assertion based verification of SystemC designs. In Ninth IEEE International High-Level Design Validation and Test Workshop 2004, Sonoma Valley, CA, USA, November 10-12, 2004. pages 19-22, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Ali Habibi' in GoogleThis author has not been identified. Look up 'Sofiène Tahar' in Google

runs on WebDSL