[ACM Press the 34th annual conference - Anaheim, California, United States (1997.06.09-1997.06.13)] Proceedings of the 34th annual conference on Design automation conference - DAC '97 - A C-based RTL design verification methodology for complex microprocessor
Yim, Joon-Seo; Hwang, Yoon-Ho; Park, Chang-Jae; Choi, Hoon; Yang, Woo-Seung; Oh, Hun-Seung; Park, In-Cheol; Kyung, Chong-Min
- 作者Yim, Joon-Seo; Hwang, Yoon-Ho; Park, Chang-Jae; Choi, Hoon; Yang, Woo-Seung; Oh, Hun-Seung; Park, In-Cheol; Kyung, Chong-Min
- 文件大小219.53KB
- 发表时间1997
- DOI10.1145/266021.266040
- 页码83-88