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

fYear

2000

fDate

2000

Firstpage

663

Lastpage

668

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Design, Automation and Test in Europe Conference and Exhibition 2000. Proceedings

Conference_Location

Paris

Print_ISBN

0-7695-0537-6

Type

conf

DOI

10.1109/DATE.2000.840857

Filename

840857