-
在结果中检索

检索结果分析

结果分析中...
检索条件："机构=清华大学计算机系设计自动化实验室 "
共 条 记 录，以下是1-2

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
软硬件协同验证系统平台间通讯设计被引量：4
《计算机工程与应用》2003年第27期122-124,共3页朱明 边计年 薛宏熙 
国家自然科学基金项目(编号:69873026);国家973重点基础研究发展规划资助(编号:G1998030403)
软硬件协同设计是软件、硬件的并行设计,包括系统描述、软硬件划分、设计实现和软硬件协同验证等几个阶段[1]。软硬件协同验证同时验证软件和硬件,使用处理器仿真器进行协同验证是其中一种重要的方法。一个能够对片上系统(SOC)设计进行...
关键词：软硬件协同设计 软硬件协同验证 通讯 并口 JTAG加载 SOC 
基于CDFG和OVL的系统验证性质分类被引量：1
《计算机工程》2005年第10期48-50,共3页朱明 边计年 吴为民 
国家自然科学基金资助项目(60273011);国家"863"高技术研究发展计划基金资助项目(2003AA115110)
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实...
关键词：模拟 形式验证 性质 模型检测 数据控制流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部