基于LEON处理器的SOPC设计验证
摘要
本文参照SPARCV8体系结构，分析了LEON模型的VHDL代码，制订了IU、Cache、存储单元控制器、UART、Timers、并行IO口、中断控制器等功能模块的验证需求，采用指令集覆盖策略编写了验证程序，完成了LEON模型的功能验证和验证的覆盖率分析，开发了基于Xilinx百万门FPGA器件的原理样机，在现实环境下进一步验证了基于SPARCV8指令集的LEON微处理器模型的可实现性。
参考文献11
-
1.[EB/OL].http: //www. estec. esa. nl/wsmwww/presentation/SCoC.pdf.,.
-
2Tiggeler Hans etc. Reeonfigurable Single-Chip On-Board Computer For a small Satellite. www. iafastro.com/arehives/pap2001/iaf-abstraet/IAFU/U-3- 09. htm.
-
3Designing and Testing a Radiation Hardened 8051-like Micro-controller. http: //tima.imag.fr/Publieations/files/rr/drh-102. pdf.
-
4Gaisler Jiri. A portable fault-tolerant microprocessor based on the SPARC V8 architecture, http: //www. cs.ucr. edu/-vahid/courses/269-s01/dasia99-leon.pdf.
-
5Gaisler Jiri. LEON - 1 2.4.0 User Manual. http: //www. gaisler.com.
-
6Haque Faisal. The Art Of Verification With Vera. Verification Central Fremont, California 2001.
-
7Re-Thinking Your Verification Strategies for Multimillion Gate FPGAs. Xilinx. http: //www. xilinx.com.
-
8Geist Daniel. A Methodology For the Verification of a "System on Chip". http: //www. wisdom, weizmann. ac. il/mathusers/tamarah/33-1.pdf.
-
9Habinc S etc. Accelerated Verification of Digital Devices Using VHDL. VHDL Users' Forum in Europe,Switzerland, September 1998.
-
10吴也文.32位RISC SparcCPU的功能测试方法[A]..电子测量与仪器学会第五届年会论文集[C].,1994..
-
1刘佶,周开伦,林涛.基于LEON3的嵌入式Linux系统的移植研究[J].计算机时代,2010(11):11-12.
-
2何新华,蔡红柳,王维锋.嵌入式软件数学仿真测试研究[J].仪器仪表学报,2002,23(z2):471-472. 被引量：1
-
3刘朝霞.基于VHDL的FPGA器件设计[J].微计算机信息,1998,14(6):80-82. 被引量：7
-
4张袖斌,邬厚民.测试与系统测试比较分析[J].科技咨询导报,2007(6):23-25. 被引量：1
-
5朱兴统,习洋洋.基于C++和OpenCV的人脸识别系统的设计与实现[J].自动化与仪器仪表,2014(8):127-128. 被引量：17
-
6张袖斌,邬厚民.测试与系统测试比较分析[J].科技资讯,2007,5(1):32-34.
-
7祝长民,兰利东,王建永.SPARC V8结构嵌入式微处理器开发环境的设计实现[J].电子产品世界,2010,17(9):67-68. 被引量：1
-
8马丽萍.一种谱分析的Matlab与VHDL代码转换方法[J].网友世界,2013(20):49-50.
-
9珠海欧比特推出抗辐射型高性能32位四核并行处理器[J].测控技术,2014,33(5):160-160. 被引量：1
-
10王红艳,朱建涛,郑翔.一个并行IO系统的可用性评估模型[J].高性能计算技术,2004,0(6):30-34. 被引量：1
