Fast hardware-software coverification by optimistic execution of real processor

• Authors:

• Sungjoo Yoo;Jong-Eun Lee;Jinyong Jung;Kyungseok Rha;Youngchul Cho;Kiyoung Choi

• Affiliations:

• Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea;Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea;Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea;Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea;Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea;Design Automation Laboratory, School of Electrical Engineering, Seoul National University, Seoul 151-742, Korea

• Venue:
• DATE '00 Proceedings of the conference on Design, automation and test in Europe
• Year:
• 2000