location: Current position: Home >> Scientific Research >> Paper Publications

Verification of All-Digital SPARC Instruction Set Based on FPGA

Hits:

Indexed by:会议论文

Date of Publication:2012-03-10

Included Journals:EI、CPCI-S

Volume:29

Page Number:1276-1280

Key Words:SPARC Instruction Set; Hardware and Software Collaborative; FPGA; Leon

Abstract:Due to the closeness of an embedded system, to test in the embedded software is extremely difficult, especially for real-time embedded software. It is no doubt that instruction set simulation(ISS) system based on embedded SoC will greatly reduce difficulties of embedded software testing. Therefore, to make sure the credibility of the instruction set simulation system it is especially important. The huge number of random test cases generated during testing makes it unable to determine the running results. A method of hardware and software collaborative verification based on FPGA Leon core and microcomputer software SPARC instruction set is proposed to solve both the efficiency in traditional software testing and the accuracy in determining running results problems effectively. Ten test cases from the Mibench standard test set are selected for hardware and software collaborative verification. The statistical results show the instruction coverage of all-digital SPARC V8 simulator reaches 97 percent. (C) 2011 Published by Elsevier Ltd. Selection and/or peer-review under responsibility of Harbin University of Science and Technology

Pre One:WCSD动态检测方法

Next One:基于遗传算法的嵌入式软件 WCSD 检测方法