期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Mining-SEC方法的电路等价性验证
1
作者
王冠军
童敏明
+1 位作者
周勇
赵莹
《计算机工程》
CAS
CSCD
2014年第1期301-304,共4页
针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外...
针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1-2.个量级的验证加速,并且可以有效消除虚假验证。
展开更多
关键词
时间序列
数据挖掘
多项式符号代数
时序电路等价性检验
可满足
性
模理论
虚假验证
下载PDF
职称材料
题名
基于Mining-SEC方法的电路等价性验证
1
作者
王冠军
童敏明
周勇
赵莹
机构
中国矿业大学计算机科学与技术学院
中国矿业大学信息与电气工程学院
出处
《计算机工程》
CAS
CSCD
2014年第1期301-304,共4页
基金
国家自然科学基金资助项目(51104157)
中央高校基本科研业务费专项基金资助项目(2010NQA28)
国家大学生创业实践基金资助项目(201310290080)
文摘
针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1-2.个量级的验证加速,并且可以有效消除虚假验证。
关键词
时间序列
数据挖掘
多项式符号代数
时序电路等价性检验
可满足
性
模理论
虚假验证
Keywords
time series
data mining
Polynomial Symbolic Algebra(PSA)
Sequential Equivalence Checking(SEC)
Satisfiablity ModuleTheory(SMT)
false verification
分类号
TP331 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Mining-SEC方法的电路等价性验证
王冠军
童敏明
周勇
赵莹
《计算机工程》
CAS
CSCD
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部