Verification of All-Digital SPARC Instruction Set Based on FPGA

Kai Cui,KuanJiu Zhou,Jie Wang,Sun Hao,Chuang Lin
DOI: https://doi.org/10.1016/j.proeng.2012.01.126
2012-01-01
Procedia Engineering
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.
What problem does this paper attempt to address?