本文作者：王冠军；童敏明；周勇；赵莹；成功正常投稿发表论文到《计算机工程》2014年01期,引用请注明来源400期刊网！

【摘要】：针对时序电路的等价性验证难题,提出基于Mining-SEC的定界等价性验证方法。将待验证时序电路按时间帧展开为多项式符号代数表示的电路集合,利用时间序列数据挖掘方法挖掘其中的不变量和相应的全局约束,不变量可以是任意多项式。此外还可挖掘电路中的不合法约束和复杂的多项式关系,通过以上方法可以明显降低求解空间。使用基于SMT的验证引擎检验电路等价性。实验结果表明,该方法可以快速地实现验证收敛,得到平均1~2个量级的验证加速,并且可以有效消除虚假验证。
【论文正文预览】：1概述时序电路等价性检验(SequentialEquivalenceChecking,SEC)成为功能验证中的一项重要工作。目前时序电路的等价性验证有相当多的困难和挑战。传统的时序电路的等价性验证,通常采用基于有限状态机遍历的方法[1]。这类方法只能在逻辑门级上进行且计算复杂度太高,往往只能
【文章分类号】：TM13
【稿件关键词】：时间序列数据挖掘多项式符号代数时序电路等价性检验可满足性模理论虚假验证
【参考文献】:

• 赵燕妮;边计年;邓澍军;;利用SMT约束分解方法求解RTL可满足性问题[J];计算机辅助设计与图形学学报;2010年02期
• 王冠军;基于PSA和有限域理论的高级综合研究[D];哈尔滨工程大学;2009年
• 冯刚,马光胜,杜振军;动态串扰优化的开关盒布线[J];半导体学报;2005年02期
• 成本茂;王红;杨士元;牛道恒;靳洋;;基于可测性分析的高层次寄存器分配算法[J];东南大学学报(自然科学版);2008年03期
• 彭喜元;俞洋;;基于变游程编码的测试数据压缩算法[J];电子学报;2007年02期
• 刘观生;葛海通;陈偕雄;;门级电路自动测试向量生成技术原理[J];浙江大学学报(理学版);2006年01期
• 闵应骅,李忠诚,赵著行;Boole过程论[J];中国科学E辑:技术科学;1996年06期
• 徐磊,孙义和,陈弘毅;基于扫描的低测试功耗结构设计[J];计算机研究与发展;2001年12期
• 杨修涛;鲁巍;李晓维;;集成电路高层故障模型间关系分析方法[J];计算机研究与发展;2006年02期
• 王伟;韩银和;胡瑜;李晓维;张佑生;;一种有效的低功耗扫描测试结构——PowerCut[J];计算机研究与发展;2007年03期
• 苏明,薛宏熙,洪先龙;数字系统的高层次综合[J];计算机辅助设计与图形学学报;1993年02期
• 李晓维,李华伟,骆祖莹,闵应骅;降低时延测试功耗的有效方法[J];计算机辅助设计与图形学学报;2002年08期
• 李薇;孙洪林;;水文时间序列相似性查询的分析与研究——以漯河站、何口站汛期降雨量相似性查询为例[J];水文;2009年06期
• 林其友;陈星莺;王之伟;;数据挖掘技术在电价预测中的应用[J];电网技术;2006年23期
• 孙振明;安伟光;张辉;姜兴渭;;数据挖掘技术的AHP改进算法在航天器数据分析中的初探[J];哈尔滨工程大学学报;2006年05期
• 陆赛群,吴文波;数据挖掘在城市污水处理中的潜在价值[J];浙江水利水电专科学校学报;2005年02期
• 张敏;陆向艳;周敏;潘林琳;农冬冬;王彬彬;陈晓江;;数据挖掘在智能题库系统中的应用[J];广西大学学报(自然科学版);2005年S2期
• 徐诚;王艳红;;数据挖掘在远程教育中的应用[J];电大理工;2005年04期
• 旷海兰;刘新华;陈中;蒋涛;;粗糙集理论在电力系统数据挖掘中的应用研究[J];衡阳师范学院学报;2006年03期
• 詹川;;数据挖掘在关系营销中的应用研究[J];重庆工商大学学报(自然科学版);2007年02期
• 成博;张文明;;数据挖掘与数字图书馆个性化服务[J];青岛远洋船员学院学报;2008年03期
• 陈章良;;基于数据挖掘的电力营销预测决策模型应用与研究[J];电力信息化;2008年12期
• 刘楚玲;谢赞福;;时间序列数据挖掘在信息系统维护中的应用[A];2008年计算机应用技术交流会论文集[C];2008年
• 孙琪;;过程工业的时间序列数据挖掘技术[A];自动化技术与冶金流程节能减排——全国冶金自动化信息网2008年会论文集[C];2008年
• 马洪杰;曲晓飞;;数据挖掘技术和过程的特点[A];面向21世纪的科技进步与社会经济发展（上册）[C];1999年
• 戈欣;吴晓芬;许建荣;;数据挖掘技术在放射科医疗管理中的潜在作用[A];2009中华医学会影像技术分会第十七次全国学术大会论文集[C];2009年
• 魏元珍;杨沂凤;;数据挖掘技术及其在数字图书馆中的应用[A];网络信息资源的搜集与应用——全国高校社科信息资料研究会第十次年会论文集[C];2004年
• 肖健;沈彩霞;;浅谈数据挖掘技术现状[A];广西计算机学会2008年年会论文集[C];2008年
• 巩耀亮;邱晓东;孙丽君;李树强;;数据挖掘技术在企业竞争情报系统中的应用研究[A];信息时代——科技情报研究学术论文集（第三辑）[C];2008年
• 王洪锋;;数据挖掘在客户关系管理中的应用研究[A];河南省通信学会2005年学术年会论文集[C];2005年
• 姚小磊;彭清华;;数据挖掘技术在中医眼科应用的设想[A];中华中医药学会第七次眼科学术交流会论文汇编[C];2008年
• 张婧;;数据挖掘技术在进销存系统中的应用[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集（下）[C];2006年
• 陈晓 山西财经大学教师;数据挖掘技术在高校教学管理中的应用[N];山西经济日报;2010年
• ;《时间序列与金融数据分析》[N];中国信息报;2004年
• 记者　吕贤如;大力加强数据挖掘技术研究应用[N];光明日报;2006年
• 主持人 李禾;数据挖掘技术如何驱动经济车轮[N];科技日报;2007年
• 首之;数据挖掘并不神秘[N];金融时报;2006年
• 刘红岩、何军;利用数据挖掘技术获得商业智能[N];中国计算机报;2003年
• ;IBM公司推出新型数据挖掘技术[N];中国高新技术产业导报;2001年
• 东证期货 王爱华　杨卫东;两年涨跌轮回 秋季普遍下跌[N];期货日报;2009年
• 徐扬;如何从数据中“挤出”效益[N];中国计算机报;2002年
• 山西银行学校 王林芳;数据挖掘在银行业务中的应用[N];山西科技报;2005年
• 程其云;基于数据挖掘的电力短期负荷预测模型及方法的研究[D];重庆大学;2004年
• 杨正瓴;时间序列中的混沌判定、预报及其在电力系统中的应用[D];天津大学;2003年
• 张晓伟;水文动力系统自记忆特性及其应用研究[D];西安理工大学;2009年
• 倪丽萍;基于分形技术的金融数据分析方法研究[D];合肥工业大学;2010年
• 刘大同;基于Online SVR的在线时间序列预测方法及其应用研究[D];哈尔滨工业大学;2010年
• 张永林;车辆道路数值模拟与仿真研究[D];华中科技大学;2010年
• 崔亚强;沪深300股指内在复杂性分析及预测研究[D];天津大学;2010年
• 杨谈;网络混沌行为及其控制的研究[D];北京邮电大学;2009年
• 李星毅;基于相似性的交通流分析方法[D];北京交通大学;2010年
• 肖辉;时间序列的相似性查询与异常检测[D];复旦大学;2005年
• 文小敏;面向ERP数据挖掘技术的研究及应用[D];广东工业大学;2005年
• 何永沛;时间序列数据挖掘在股市预测分析中的应用研究[D];重庆大学;2008年
• 宋桐;基于时间序列的数据挖掘在证券分析中的应用[D];吉林大学;2009年
• 邵悦然;数据挖掘技术在我国铁路客运量预测中的应用[D];北京交通大学;2011年
• 李源;数据仓库与数据挖掘技术在综合网管中的应用[D];西安电子科技大学;2006年
• 李婷;聚类分析在交通流时序数据挖掘中的应用[D];北京交通大学;2007年
• 李大伟;数据挖掘在用户行为分析中的研究与应用[D];北京邮电大学;2009年
• 吕冀;桥梁监测数据处理与可视化方法研究[D];长安大学;2010年
• 崔兆顺;基于人工神经网络的时序数据挖掘应用研究[D];西北农林科技大学;2007年
• 赵永进;基于数据挖掘的股票分析与预测研究[D];郑州大学;2005年

【稿件标题】：【mining text data范文】基于Mining-SEC方法的电路等价性验证
【作者单位】：中国矿业大学计算机科学与技术学院;中国矿业大学信息与电气工程学院;
【发表期刊期数】：《计算机工程》2014年01期
【期刊简介】：《计算机工程》杂志是由中华人民共和国新闻出版总署、正式批准公开发行的优秀期刊，计算机工程杂志具有正规的双刊号，其中国内统一刊号：CN31-1289/TP，国际刊号：ISSN1000-3428。计算机工程杂志社由中国电子科技集团公司主管、主办，本刊为月刊。自创刊以来......更多计算机工程杂志社(http://www.400qikan.com/qk/6013/)投稿信息
【版权所有人】：王冠军；童敏明；周勇；赵莹；

更多科技类论文详细信息: 【mining text data范文】基于Mining-SEC方法的电路等价性验证
http://www.400qikan.com/lunwen/keji/16530.html

相关专题：散文诗世界 龙源期刊网 《计算机工程》相关期刊

推荐期刊：

古典文学知识

湖南政报

中国研究生

天津法学

热带海洋学报

地质通报

苏州工艺美术职业技术学院学报

法律适用

安徽史学

中国农业气象

上一篇：【cxf生成客户端代码论文】一种客户端短信过滤的样本特征库生成
下一篇：档案密级范文|基于Unicode编码文本水印的分密级公文系统