[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 microprocessorYim, Joon-Seo; Hwang, Yoon-Ho; Park, Chang-Jae; Choi, Hoon; Yang, Woo-Seung; Oh, Hun-Seung; Park, In-Cheol; Kyung, Chong-Min · 1997