Towards formal validation: Symbolic simulation of SystemC models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm. Towards formal validation: Symbolic simulation of SystemC models. In 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015. pages 1-6, IEEE, 2015. [doi]

This author has not been identified. Look up 'Carna Radojicic' in GoogleThis author has not been identified. Look up 'Thiyagarajan Purusothaman' in GoogleThis author has not been identified. Look up 'Christoph Grimm' in Google

runs on WebDSL