收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于约束性可满足问题的解决器

周曦炜  
【摘要】: 集成电路设计技术的不断发展对其设计验证过程提出越来越多的要求,计算机辅助的验证处理模式也不断发展,适用时代要求,本文以此为起点,引出约束性可满足问题在集成电路设计、生产计划管理等领域的应用意义。进一步介绍约束性可满足问题的定义及其特性,分析其特征空间,并论述了其主要解决思路及优化办法。然后根据其多样性及处理能力的分析,结合线程化并行处理的方法,提出了基于分解树(Tree-Clustering)的并行约束性可满足问题解决的思路,并结合SystemVerilog实例分析其可用性,最后结合硬件描述语言功能验证的实例进行了应用分析并与开发环境完成无缝集成。 本文的创新之处在于:(1)利用线程化并行处理模型来提升系统处理时间效率;(2)与硬件开发环境无缝集成以提高约束性功能验证效率。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 本刊评论员;;约束性指标与刚性报道要求[J];中国记者;2006年09期
2 高静;;电视新闻播报的开创性与约束性[J];新闻爱好者;2011年12期
3 李宏,杜剑峰,陈松乔;分布式数据库约束性关联规则挖掘[J];中南大学学报(自然科学版);2004年06期
4 计智伟;吴耿锋;胡珉;;基于混沌离散粒子群优化的约束性多分类模型[J];计算机工程;2009年23期
5 田松,车万方,张凤鸣;并行工程哲理的信息熵描述[J];空军工程大学学报(自然科学版);2002年05期
6 戴林;;当前能源形势及节能对策[J];变频器世界;2007年05期
7 李宏,陈松乔,杜剑峰;分布式环境下挖掘约束性关联规则的算法研究[J];计算机工程与应用;2003年33期
8 ;我国“十二五”将采取六大节能减排措施[J];信息技术与标准化;2010年12期
9 ;档案广角[J];湖北档案;2010年05期
10 梁银河;浅论图书馆管理的两个环节──制度制约与利益驱动[J];晋图学刊;1995年04期
11 康振坤;;履行·厉行……[J];传媒观察;1986年07期
12 陈龙;基于遗传算法的约束性多TSP问题及其应用[J];重庆邮电学院学报(自然科学版);2000年02期
13 张玉峰,李敏;动态约束性概念网络与知识检索研究[J];情报学报;2003年03期
14 吴工;;德国和台湾企业共同开发先进的DRAM技术[J];中国电子商情;2002年09期
15 罗广祥;李安芹;赵所毅;徐斌;杨宇鸿;;基于约束性Delauney三角网确定多边形中轴线的研究[J];测绘技术装备;2004年02期
16 戈叶;;劳动者的保护伞[J];中国计算机用户;2008年04期
17 温昱;;架构设计中的约束分析[J];软件世界;2008年02期
18 王莉莎;;计划与策划[J];中国组织工程研究与临床康复;2009年40期
19 ;我国2011年工业节能减排四大指标公布[J];自动化与仪表;2011年04期
20 田厚钢;“倚门等稿”的启示[J];新闻战线;1995年02期
中国重要会议论文全文数据库 前10条
1 龙瀛;沈振江;毛其智;杜立群;;城市规划空间形态模拟及政策建议:以北京为例[A];规划创新:2010中国城市规划年会论文集[C];2010年
2 耿珂;;从奥运火炬传递看物流项目的策划管理[A];中国铁道学会物资管理委员会物资管理与营销暨物资流通系统理论学组学术研讨会论文集[C];2008年
3 张琦;;资源约束下我国循环经济发展战略探讨[A];资源·环境·循环经济——中国地质矿产经济学会2005年学术年会论文集[C];2005年
4 ;五大因素致使我国2006年减排目标没能实现[A];北京建设节约型城市研讨会专辑[C];2006年
5 李宏江;王康;;关于旧桥承载潜力的探讨[A];中国土木工程学会市政工程分会1999年学术交流会论文集[C];1999年
6 梁昌洪;;近代数据处理中的几个问题[A];1991年全国微波会议论文集(卷Ⅱ)[C];1991年
7 ;前言[A];重点行业COD减排实用技术研讨会论文集[C];2007年
8 高红;武首香;;如何做好节能减排[A];重点行业COD减排实用技术研讨会论文集[C];2007年
9 ;国民经济和社会发展第十一个五年规划纲要[A];2006年度中国汽车摩托车配件用品行业年度报告[C];2006年
10 任继明;;用 IPAT 方程测算山东东中西地区“十一五”期间单位 GDP 能耗降低目标值[A];科学发展观:理论·模式·实践——山东省社会科学界2006年学术年会文集(2)[C];2006年
中国博士学位论文全文数据库 前10条
1 黄海军;高压下铁的熔化曲线及外地核候选组分的约束性研究[D];中国工程物理研究院;2005年
2 杨俊;城市化与城市生态安全耦合研究[D];辽宁师范大学;2009年
3 耿修堂;分组密码与图论中的DNA算法研究[D];华中科技大学;2008年
4 尹立杰;GATS框架下的跨国银行监管[D];中国政法大学;2005年
5 罗亮;蛋白质结构预测模型研究[D];华中科技大学;2010年
6 李凤章;登记限度论[D];中国政法大学;2005年
7 韩旭明;若干改进的人工免疫算法及其在大气环境领域中的应用[D];吉林大学;2010年
8 崔鑫生;国际协调制度与我国应用研究[D];对外经济贸易大学;2004年
9 王延峰;DNA计算中的编码理论与方法研究[D];华中科技大学;2007年
10 吕帅;基于自动推理技术的智能规划方法研究[D];吉林大学;2010年
中国硕士学位论文全文数据库 前10条
1 杨闰荣;道德自我对儿童约束性顺从行为影响的研究[D];辽宁师范大学;2004年
2 谌佳梅;公司治理对高管人员约束性更换影响的实证研究[D];西安理工大学;2010年
3 任文涛;关于最大团问题的分支搜索算法的优化[D];电子科技大学;2012年
4 谢保胜;应用约束性最大似然法(REML)估计金华猪繁殖性状和生长性状的遗传参数[D];浙江大学;2002年
5 关德英;汉语反身代词“约束性”的句法与非句法研究之比较[D];贵州师范大学;2007年
6 邓晶;乡镇土地利用总体规划的实证研究[D];西南大学;2008年
7 孙健;土地利用规划中约束性控制指标分配研究[D];宁波大学;2012年
8 周旭东;采用思维进化计算求解最大团问题[D];太原理工大学;2004年
9 韦素云;分布式关联规则挖掘若干算法研究[D];南京师范大学;2006年
10 向贤敏;环境税收法律制度研究[D];郑州大学;2007年
中国重要报纸全文数据库 前10条
1 刘晓星;首次在规划目标中增加约束性指标[N];中国环境报;2007年
2 何雨欣;有个年生400亿美元“大矿”,没人采[N];新华每日电讯;2006年
3 周婷玉 邹声文 仇逸;碳排放约束性指标 亮剑“十二五”[N];国家电网报;2010年
4 本报记者 余建斌 潘少军 王莉 张烁 胡洪江;“十二五”24项指标如何实现[N];人民日报;2011年
5 记者 李国;“两大指标”厘清政府市场职责[N];工人日报;2006年
6 王建华 顾钱江 刘铮 张晓松 周立民;发展指标首分预期性约束性[N];经济参考报;2006年
7 李亚彪;长春“分类设定”发展指标[N];中国改革报;2006年
8 ;经济增速指标不得层层分解[N];中国环境报;2006年
9 徐琦;温总理强调坚定不移实现节能减排约束性指标[N];中国环境报;2007年
10 本报评论员 刘文宁;把各方面的积极性引导到实现科学发展上来[N];工人日报;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978