![](/img/cover-not-exists.png)
[ACM Press the 49th Annual Design Automation Conference - San Francisco, California (2012.06.03-2012.06.07)] Proceedings of the 49th Annual Design Automation Conference on - DAC '12 - Symbolic model checking on SystemC designs
Chou, Chun-Nan, Ho, Yen-Sheng, Hsieh, Chiao, Huang, Chung-Yang (Ric)Year:
2012
Language:
english
DOI:
10.1145/2228360.2228421
File:
PDF, 875 KB
english, 2012