结合西北工业大学航空微电子中心所承担的科研项目，作者参加了“龙腾R2”微处理器的验证工作，负责总线接口部件的验证和FPGA的原型验证。在完成“龙腾R2”验证的基础上，设计实现了基于“龙腾R2”处理器的嵌入式SoC系统。 本文的主要工作及成果如下： 1)深入研究了VxWorks操作系统的I／O系统，主要对输入、输出函数进行了仔细的分析；并详细分析了VxWorks操作系统中断机制以及中断的处理流程。 2)分析了MPC107的各个主要功能模块，并结合实际应用和验证平台的需要设计了基于“龙腾R2”微处理器嵌入式SoC的总体设计框架，采用自顶向下的设计方法实现了总线接口控制器、SRAM控制器、EPIC中断控制器、中央控制器、串行接口控制器等主要模块。 3)深入研究目前流行的仿真验证策略，采用基于应用程序的仿真验证方法构建了该SOC系统的验证环境。实现了基于“龙腾R2”微处理器嵌入式SoC的硬件仿真和程序仿真。并对整个SoC系统进行了FPGA综合。 4)完成了基于“龙腾R2”微处理器嵌入式SoC的FPGA原型验证，验证结果显示：基于“龙腾R2”微处理器嵌入式SoC可成功运行西安航空计算技术研究所提供的监控程序及VxWorks。 基于“龙腾R2”嵌入式SOC系统，集成了与PowerPC 750指令集兼容的“龙腾R2”微处理器以及MPC107的主要功能模块及UART串口控制器等。本文对于以RISC处理器为核心的嵌入式SoC系统的设计和验证都具有很高的参考价值。