1.
Research of Technologies to Improve the Efficiency of X Microprocessor Verification;
提高X微处理器验证效率的技术研究
2.
Design of FPU Exception Handling and Verification of FPU in X Microprocessor;
X微处理器FPU异常处理设计与FPU验证
3.
Library-based Verification Methodology for Instruction Set Validation of Microprocessor
基于验证库的微处理器指令集验证方法
4.
Cell Modeling and Verification of Full Custom MicroProcessor;
全定制X微处理器的单元建模与验证
5.
64-bit MIPS CPU s Module Design & FPGA Verification;
64位MIPS微处理器的模块设计和FPGA验证
6.
Functional Verification of "ShenWei-1" High Performance Microprocessor
“申威-1号”高性能微处理器的功能验证
7.
Design and Verification the Mechanism of Inter-interrupt Handled of X Microprocessor;
X微处理器内部中断处理机制设计与验证
8.
The Design and Verification for Memory Management Unit of 32-bit MIPS Microprocessor;
32位MIPS微处理器内存管理单元的设计和验证
9.
Embedded MPU Design Analysis and Simulation;
嵌入式微处理器的设计分析与仿真验证
10.
Research & Implementation of Microprocessor Verification Automation;
微处理器功能验证自动化方法的研究和实现
11.
Design and Verification of the Bus Interface Unit in X Microprocessor;
X微处理器总线接口单元的设计及验证
12.
The Design and Verification of Multi-Media Adding Unit in X Microprocessor;
X微处理器多媒体加法部件设计与验证
13.
Design and Verification of Instruction s Stamp Mechanism of X Microprocessor;
X微处理器指令邮戳机制的设计与验证
14.
The Design and Validation of Instruction Decoding Controlling System on Microprocessor X;
X微处理器指令译码控制系统设计与验证
15.
Design and Verification of X Microprocessor s Programmable Interrupt Control System;
X微处理器可编程中断控制系统的设计与验证
16.
Design of the Multimedia Shifter and System Level Verification of MMX Unit in X Microprocessor;
X微处理器多媒体移位器的设计与MMX部件的系统级验证
17.
The Research on Automatic Generation of Functional Verification Program for Microprocessor Based on Constraint Solving;
基于约束求解的微处理器功能验证程序自动生成技术研究
18.
Research and Development on Verification Platform of Media DSP Processor;
媒体DSP处理器验证平台的研究与开发