![](/img/cover-not-exists.png)
[IEEE Comput. Soc 2000 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2000 - Austin, TX, USA (17-20 Sept. 2000)] Proceedings 2000 International Conference on Computer Design - Formal verification of an industrial system-on-a-chip
Hoon Choi,, Myung-Kyoon Yim,, Jae-Young Lee,, Byeong-Whee Yun,, Yun-Tae Lee,Year:
2000
Language:
english
DOI:
10.1109/iccd.2000.878322
File:
PDF, 767 KB
english, 2000