Joon-Seo Yim, Yoon-Ho Hwang, Chang-Jae Park, Hoon Choi, Woo-Seung Yang, Hun-Seung Oh, In-Cheol Park, Chong-Min Kyung
A C-Based RTL Design Verification Methodology for Complex Microprocessor
DAC, 1997.
@inproceedings{DAC-1997-YimHPCYOPK,
author = "Joon-Seo Yim and Yoon-Ho Hwang and Chang-Jae Park and Hoon Choi and Woo-Seung Yang and Hun-Seung Oh and In-Cheol Park and Chong-Min Kyung",
booktitle = "{Proceedings of the 34th Design Automation Conference}",
doi = "10.1145/266021.266040",
isbn = "0-89791-920-3",
pages = "83--88",
publisher = "{ACM Press}",
title = "{A C-Based RTL Design Verification Methodology for Complex Microprocessor}",
year = 1997,
}