![](/img/cover-not-exists.png)
[ACM Press the 50th Annual Design Automation Conference - Austin, Texas (2013.05.29-2013.06.07)] Proceedings of the 50th Annual Design Automation Conference on - DAC '13 - Verifying SystemC using an intermediate verification language and symbolic simulation
Le, Hoang M., Große, Daniel, Herdt, Vladimir, Drechsler, RolfYear:
2013
Language:
english
DOI:
10.1145/2463209.2488877
File:
PDF, 218 KB
english, 2013