[ACM Press the 38th conference - Las Vegas, Nevada, United States (2001..-..)] Proceedings of the 38th conference on Design automation - DAC '01 - Model checking of S3C2400X industrial embedded SOC product
Choi, Hoon, Yun, Byeongwhee, Lee, Yuntae, Roh, HyunglaeYear:
2001
Language:
english
DOI:
10.1145/378239.379034
File:
PDF, 741 KB
english, 2001