公共文化服务平台

共 2 条记录，以下是 1-2

全选清除导出

排序方式：

多机系统调试诊断关键技术与方法研究被引量：3: 2006年; 多机系统规模和复杂度的增加,给测试人员带来了新的挑战。分析了多机系统调试阶段和运行阶段便于测试和诊断的软硬件技术,提出了一种基于边界扫描技术的层次化调试网络结构,给出了通过笛卡儿乘积构造,-可诊断系统的方法以及通过预处理降低诊断难度、加快诊断速度的思想。; 屈婉霞蒋句平田宝华; 关键词：可测性设计系统级诊断 PMC模型症状

利用UML-RT序列图支持基于事务的SoC系统级功能验证: 2007年; SoC基于事务的验证方法面临的一个重要问题是如何设计验证系统级复杂交互行为的事务测试序列。基于场景的序列图是设计人员捕获系统级功能规约的良好方法。本文提出了一种利用UML-RT序列图捕获SoC各个IP核之间的通信协作行为,为基于事务的验证建立高层规约,指导系统级测试序列生成的方法。我们自行开发了一个基于构件的事务验证环境SoC-CBTVE,并在该环境中利用本文的方法对一个典型的SoC设计进行了验证和分析。实验结果表明,利用UML-RT序列图能够捕获SoC系统级IP核之间的复杂通信行为,有效支持SoC系统级功能验证。; 余金山谭庆平李暾; 关键词：系统芯片事务

全选清除导出

共1页<1>

国家自然科学基金(60403048)