-
题名基于μCOS-Ⅱ的SoC协同设计和验证
- 1
-
-
作者
强亚东
田泽
黄鹏
-
机构
西北大学信息科学与技术学院
中国航空计算技术研究所
-
出处
《航空计算技术》
2008年第3期115-118,共4页
-
基金
陕西省自然科学基础研究项目
-
文摘
日益复杂的应用需求,使得SoC的功能复杂度、集成度以及性能迅速提高,给SoC设计和验证带来了新的挑战,势必要求我们必须采用更为可靠和有效的设计和验证方案。以软硬件协同设计方法学、验证方法学为指导,系统的介绍了某型号的基于ARM7的SoC设计过程中,以嵌入式操作系统μCOS-Ⅱ为软件平台的SoC软硬件协同设计和验证的具体过程和实施方案,最后对验证过程和结果进行了阐述和分析。
-
关键词
SOC
μCOS-Ⅱ
ARM
协同设计和验证
-
Keywords
SoC
μCOS- Ⅱ
ARM
Co- Verification
-
分类号
TN402
[电子电信—微电子学与固体电子学]
-
-
题名嵌入式微处理器片上调试系统的设计和验证
被引量:1
- 2
-
-
作者
龚令侃
卢景芬
-
机构
华东计算技术研究所
-
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第B09期131-133,共3页
-
文摘
为了尽可能保持芯片原有体系结构,综合基于软件监控和基于JTAG的2种方法,提出扩展嵌入式处理器片上调试系统的完整解决方案。该系统包括PC端的开发环境IDE、命令转发与控制子系统Probe和支持JTAG标准的目标CPU等部分。通过软硬件协同设计和验证,确保系统划分正确,子系统协调工作,并缩短了调试系统的开发周期。
-
关键词
嵌入式微处理器
片上调试系统
软硬件协同设计和验证
-
Keywords
embedded microprocessor
on-chip debug system
software/hardware co-design and co-verification
-
分类号
N945
[自然科学总论—系统科学]
-