CDFG

作品数：8被引量：38H指数：1
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：边计年薛宏熙王云峰吴强刘志鹏更多>>
相关机构：清华大学武汉大学四川大学重庆大学更多>>
相关期刊：《计算机研究与发展》《计算机工程》《Journal of Semiconductors》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划国防基础科研计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于CDFG的SoC验证方法及其分割与搜索算法
《计算机工程》2007年第2期9-11,共3页李德识 曹阳 
国家"863"计划基金资助项目(2002AA1Z1490)
随着芯片复杂度以及市场对集成电路上市时间要求的不断提高,对SoC设计方法和验证方法带来了巨大的挑战。控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。该文针对SoC验证的需要,利用CDFG,研究了基于CDFG的验...
关键词：控制数据流图 SOC 验证 深度优先搜索算法 
基于CDFG和OVL的系统验证性质分类被引量：1
《计算机工程》2005年第10期48-50,共3页朱明 边计年 吴为民 
国家自然科学基金资助项目(60273011);国家"863"高技术研究发展计划基金资助项目(2003AA115110)
在数据控制流图(CDFG)结构的基础上,结合模拟验证和模型检测的优点,对需要验证的系统性质进行分类,采用不同的验证方法,提高验证的能力。通过对OVL语言和CTL描述进行改进,针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质,实...
关键词：模拟 形式验证 性质 模型检测 数据控制流图 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部