validating processors

Research of Technologies to Improve the Efficiency of X Microprocessor Verification;

提高X微处理器验证效率的技术研究

Design of FPU Exception Handling and Verification of FPU in X Microprocessor;

X微处理器FPU异常处理设计与FPU验证

Library-based Verification Methodology for Instruction Set Validation of Microprocessor

基于验证库的微处理器指令集验证方法

Cell Modeling and Verification of Full Custom MicroProcessor;

全定制X微处理器的单元建模与验证

64-bit MIPS CPU s Module Design & FPGA Verification;

64位MIPS微处理器的模块设计和FPGA验证

Functional Verification of "ShenWei-1" High Performance Microprocessor

“申威-1号”高性能微处理器的功能验证

Design and Verification the Mechanism of Inter-interrupt Handled of X Microprocessor;

X微处理器内部中断处理机制设计与验证

The Design and Verification for Memory Management Unit of 32-bit MIPS Microprocessor;

32位MIPS微处理器内存管理单元的设计和验证

Embedded MPU Design Analysis and Simulation;

嵌入式微处理器的设计分析与仿真验证

Research & Implementation of Microprocessor Verification Automation;

微处理器功能验证自动化方法的研究和实现

Design and Verification of the Bus Interface Unit in X Microprocessor;

X微处理器总线接口单元的设计及验证

The Design and Verification of Multi-Media Adding Unit in X Microprocessor;

X微处理器多媒体加法部件设计与验证

Design and Verification of Instruction s Stamp Mechanism of X Microprocessor;

X微处理器指令邮戳机制的设计与验证

The Design and Validation of Instruction Decoding Controlling System on Microprocessor X;

X微处理器指令译码控制系统设计与验证

Design and Verification of X Microprocessor s Programmable Interrupt Control System;

X微处理器可编程中断控制系统的设计与验证

Design of the Multimedia Shifter and System Level Verification of MMX Unit in X Microprocessor;

X微处理器多媒体移位器的设计与MMX部件的系统级验证

The Research on Automatic Generation of Functional Verification Program for Microprocessor Based on Constraint Solving;

基于约束求解的微处理器功能验证程序自动生成技术研究

Research and Development on Verification Platform of Media DSP Processor;

媒体DSP处理器验证平台的研究与开发