Verifying SystemC using an intermediate verification language and symbolic simulation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler. Verifying SystemC using an intermediate verification language and symbolic simulation. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 116, ACM, 2013. [doi]

This author has not been identified. Look up 'Hoang M. Le' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Vladimir Herdt' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL