%0 Conference Paper %1 conf/dac/YimHPCYOPK97 %A Yim, Joon-Seo %A Hwang, Yoon-Ho %A Park, Chang-Jae %A Choi, Hoon %A Yang, Woo-Seung %A Oh, Hun-Seung %A Park, In-Cheol %A Kyung, Chong-Min %B DAC %D 1997 %E Yoffa, Ellen J. %E Micheli, Giovanni De %E Rabaey, Jan M. %I ACM Press %K dblp %P 83-88 %T A C-Based RTL Design Verification Methodology for Complex Microprocessor. %U http://dblp.uni-trier.de/db/conf/dac/dac97.html#YimHPCYOPK97 %@ 0-89791-920-3

@inproceedings{conf/dac/YimHPCYOPK97, added-at = {2017-03-16T00:00:00.000+0100}, author = {Yim, Joon-Seo and Hwang, Yoon-Ho and Park, Chang-Jae and Choi, Hoon and Yang, Woo-Seung and Oh, Hun-Seung and Park, In-Cheol and Kyung, Chong-Min}, biburl = {https://www.bibsonomy.org/bibtex/28865d0da7200812926a0fafea4fabe25/dblp}, booktitle = {DAC}, crossref = {conf/dac/1997}, editor = {Yoffa, Ellen J. and Micheli, Giovanni De and Rabaey, Jan M.}, ee = {http://doi.acm.org/10.1145/266021.266040}, interhash = {8d933497e33f4f1a0c92b356a5722ef0}, intrahash = {8865d0da7200812926a0fafea4fabe25}, isbn = {0-89791-920-3}, keywords = {dblp}, pages = {83-88}, publisher = {ACM Press}, timestamp = {2017-03-17T11:40:13.000+0100}, title = {A C-Based RTL Design Verification Methodology for Complex Microprocessor.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac97.html#YimHPCYOPK97}, year = 1997 }