Title :
Fast hardware-software coverification by optimistic execution of real processor
Author :
Yoo, Sungjoo ; Lee, Jong-eun ; Jung, Jinyong ; Rha, Kyungseok ; Cho, Youngchul ; Choi, Kiyoung
Author_Institution :
Sch. of Electr. Eng., Seoul Nat. Univ., South Korea
Abstract :
To achieve fast verification of the software part of an embedded system, we propose to run the target processor optimistically, which effectively reduces the synchronization overhead 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
Keywords :
application specific integrated circuits; embedded systems; formal verification; hardware-software codesign; integrated circuit design; synchronisation; ARM710A processor; IS-95 CDMA cellular phone system; embedded system; hardware-software coverification; optimistic execution; processor execution platform; real processor; state saving/restoration methods; synchronization overhead; target processor; Design automation; Emulation; Hardware; Instruction sets; Laboratories; Multiaccess communication; Optimization methods; Registers; System-on-a-chip; Timing;
Conference_Titel :
Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings
Conference_Location :
Paris
Print_ISBN :
0-7695-0537-6
DOI :
10.1109/DATE.2000.840857
