-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=定界模型检验 "
共 条 记 录，以下是1-1

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
应用吴方法进行高层次定界模型检验
《计算机辅助设计与图形学学报》2008年第2期137-143,共7页杨志 马光胜 冯刚 邵晶波 
国家自然科学基金(60273081)
以吴方法为理论基础,提出一种针对高层次设计验证的定界模型检验方法·通过使用多项式等式建模高层次设计和待验证性质,将定界模型检验问题转化为定理证明问题,并用吴方法有效地解决该定理证明问题·实验结果表明,与基于布尔SAT、基于LP...
关键词：高层次设计 定界模型检验 吴方法 形式验证 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部