Sungjoo Yoo Jong-eun Lee Jinyong Jung Kyungseok Rha Youngchul Cho Kiyoung Choi Fast Hardware-Software Coverification by Optimistic Execution of Real Processor. 663-668 2000 conf/date/2000 DATE http://csdl.computer.org/comp/proceedings/date/2000/0537/00/05370663abs.htm db/conf/date/date2000.html#YooLJRCC00