• 微处理器体系结构级测试程序自动生成关键技术研究

    微处理器体系结构级测试程序自动生成关键技术研究

    朱丹[1]2004年在《微处理器体系结构级测试程序自动生成关键技术研究》文中认为功能验证是微处理器设计的瓶颈。体系结构级功能验证能够及早发现微处理器设计错误,减小错误对设计的影响。目前,模拟验证仍然是体系结构级验证的主要手段,但是完全手工生成用于模拟验证的测试程序效率低,错误率高。因此,测试程序的自...
  • TTCN-3编译技术研究与实现

    TTCN-3编译技术研究与实现

    钱向红[1]2004年在《TTCN-3编译技术研究与实现》文中提出本论文的研究背景是:①IPv6协议集的测试,特别是对IPv6路由器设备的测试技术已经成为从现有Internet向基于IPv6的NGI(NextGenerationInternet)过渡的关键技术之一;②现代路由器以多端口和高速化为特征...