An effective approach for model checking SystemC designs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani. An effective approach for model checking SystemC designs. In Jonathan Billington, Zhenhua Duan, Maciej Koutny, editors, 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi an, China, June 23-27, 2008. pages 56-61, IEEE, 2008. [doi]

This author has not been identified. Look up 'Razieh Behjati' in GoogleThis author has not been identified. Look up 'Hamideh Sabouri' in GoogleThis author has not been identified. Look up 'Niloofar Razavi' in GoogleThis author has not been identified. It may be one of the following persons:

Marjan Sirjani

Look up 'Marjan Sirjani' in Google

runs on WebDSL