Design for Verification of SystemC Transaction Level Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ali Habibi, Sofiène Tahar. Design for Verification of SystemC Transaction Level Models. In 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany. pages 560-565, IEEE Computer Society, 2005. [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