loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Design, Automation and Test in Europe (DATE '00)
Fast Hardware-Software Coverification by Optimistic Execution of Real Processor
Paris, France
March 27-March 30
ISBN: 0-7695-0537-6
ASCII Text
x 
 
Sungjoo Yoo, Jong-Eun Lee, Jinyong Jung, Kyungseok Rha, Youngchul Cho, Kiyoung Choi, "Fast Hardware-Software Coverification by Optimistic Execution of Real Processor," Design, Automation and Test in Europe Conference and Exhibition, pp. 663, Design, Automation and Test in Europe (DATE '00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/DATE.2000.840857,
author = {Sungjoo Yoo and Jong-Eun Lee and Jinyong Jung and Kyungseok Rha and Youngchul Cho and Kiyoung Choi},
title = {Fast Hardware-Software Coverification by Optimistic Execution of Real Processor},
journal ={Design, Automation and Test in Europe Conference and Exhibition},
volume = {0},
year = {2000},
issn = {1530-1591},
pages = {663},
doi = {http://doi.ieeecomputersociety.org/10.1109/DATE.2000.840857},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Design, Automation and Test in Europe Conference and Exhibition
TI - Fast Hardware-Software Coverification by Optimistic Execution of Real Processor
SN - 1530-1591
SP
EP
A1 - Sungjoo Yoo,
A1 - Jong-Eun Lee,
A1 - Jinyong Jung,
A1 - Kyungseok Rha,
A1 - Youngchul Cho,
A1 - Kiyoung Choi,
PY - 2000
VL - 0
JA - Design, Automation and Test in Europe Conference and Exhibition
ER -
 
Sungjoo Yoo, Seoul National University
Jong-Eun Lee, Seoul National University
Jinyong Jung, Seoul National University
Kyungseok Rha, Seoul National University
Youngchul Cho, Seoul National University
Kiyoung Choi, Seoul National University
To achieve fast verification of the software part of embedded system, we propose to run the target processor optimistically, which effectively reduces the synchronization over-head with other simulators. For the optimistic processor execution, we present a processor execution platform and state saving/restoration methods. We performed optimistic execution of ARM710A processor in the coverification of an IS-95 CDMA cellular phone system and obtained up to orders of magnitude higher performance compared with the case that the processor runs conservatively.
Citation:
Sungjoo Yoo, Jong-Eun Lee, Jinyong Jung, Kyungseok Rha, Youngchul Cho, Kiyoung Choi, "Fast Hardware-Software Coverification by Optimistic Execution of Real Processor," date, pp.663, Design, Automation and Test in Europe (DATE '00), 2000
Usage of this product signifies your acceptance of the Terms of Use.