• 基于ARM9内核SOC的软硬件协同验证

    基于ARM9内核SOC的软硬件协同验证

    论文摘要随着IC设计和制造技术的发展,芯片的设计规模越来越大。SOC已经成为当前IC发展的主流方向。SOC在单颗芯片上集成了众多IP以提高设计速度,这使SOC功能的复杂度急剧的...
  • 面向语义约束的协同验证研究

    面向语义约束的协同验证研究

    论文摘要随着网格技术的不断发展及网格应用研究的深入,网格环境下业务流程越来越复杂。随着业务流程规模因跨领域跨组织而增大,导致业务流程的高复杂性,就会由于状态空间爆炸而给网格工作...
  • DSP可测性、测试方法和平台的研究

    DSP可测性、测试方法和平台的研究

    论文题目:DSP可测性、测试方法和平台的研究论文类型:博士论文论文专业:通信与信息系统作者:郑德春导师:姚庆栋关键词:数字信号处理器,可测性设计,嵌入式模拟模块,指令树模型,状...