切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
结合无依赖性割集和量化的等价性验证
结合无依赖性割集和量化的等价性验证
来源 :计算机辅助设计与图形学学报 | 被引量 : 11次 | 上传用户:andyzt509
【摘 要】
:
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求.最后用ISCAS’85电路的实验结果证明了该算法的有效性.
【作 者】
:
卢永江
严晓浪
葛海通
杨军
【机 构】
:
浙江大学超大规模集成电路设计研究所,浙江大学超大规模集成电路设计研究所
【出 处】
:
计算机辅助设计与图形学学报
【发表日期】
:
2005年10期
【关键词】
:
二叉决策图
形式验证
割集
量化
BDD
formal verification
cut
quantification
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出一新的验证算法,利用电路拓扑信息选择有效割集,以减小验证规模,并对割集进行无依赖性处理,减少伪错误发生概率,提高验证效率;同时,利用启发式信息选择复杂度较高的节点变量进行量化,进一步减小二叉决策图(BDD)的内存要求.最后用ISCAS’85电路的实验结果证明了该算法的有效性.
其他文献
“奥运广播”如何在本土“落地”
北京奥运,世人瞩目,各路媒体对此的关注度都是空前的。可是,在中央级媒体占据“天时地利人和”的优势面前,地方媒体就显得“势单力薄”。而面对同城其他媒体,广播似乎在奥运报道中
期刊
广播中心
北京奥运
地方媒体
奥运报道
媒体优势
媒体品牌
应用神经网络隐式视觉模型进行立体视觉的三维重建
针对传统的基于精确数学模型的立体视觉方法过程繁琐的不足 ,提出一种应用BP神经网络隐式视觉模型进行三维重建的算法 该算法将多个标定平面放置在有效视场内 ,用神经网络模拟立体视觉由两个二维图像重建三维几何的过程 ,经过网络训练建模后 ,无须摄像机标定即可进行三维重建 仿真实验结果证明 ,该算法比较简单 ,且能保持较高的精度
期刊
BP神经网络
立体视觉
三维重建
BP neural networks
stereo vision
3D reconstruction
我国国家精品课程网络资源微观建设之研究——美国MITOCW项目建设的启示
本文从资源的开放共享程度、课程学习资源的优质程度、平台建设以及课程的评价等方面,分析了我国国家精品课程网络资源建设存在的问题,总结了美国MITOCW开放教育资源项目建设
期刊
国家精品课程
网络资源
经验
建议
记者沉下去 报道活起来——以湖州晚报“记者打工”体验式报道为例
新闻报道要产生广大读者喜闻乐见的精品,就要精心组织报道内容,努力创新表现形式,从根本上转变采访作风,真正做到“三贴近”。
期刊
体验式报道
记者
打工
晚报
湖州
“三贴近”
新闻报道
报道内容
教师的师德师风之我见
摘要:教师既是知识种子的传播者,又是文明之树的培育者,既是人类灵魂的塑造者,又是人类社会发展与进步的开拓者,是年轻一代健康成长的引路人和光辉典范,现代教育关注学生素质,教师的师德师风对于塑造学生良好的道德素质,培养学生健全的思想与人格极为关键。 关键词:师德;教学;学生;素质 21世纪,我们面对着一个崭新的充满着机遇和挑战的竞争时代。师德师风是教师素质的核心。历代的教育家提出的“为人师表”
期刊
师德
教学
学生
素质
“我上阵,我难忘”:浙江记者抗震救灾感言墙
“兵能往,吾亦能往”。天崩地裂,共赴国难。浙江媒体各路记者赶赴震区前线采访报道,担当巨灾之下的责任和使命,经受艰难困苦的磨难和洗礼,激发了对事业、对人生、对理想的深邃思考
期刊
抗震救灾
记者
浙江
采访报道
媒体
保养液对红细胞免疫功能的影响
保养液对红细胞免疫功能的影响赵晶石,赵晶平,白震禄,杨义明红细胞免疫功能的发现对临床输血赋予了新的内容。作者在实验中发现经保养液抗凝的全血,红细胞免疫粘附功能偏低,为证实
期刊
保养液
红细胞
免疫功能
输血疗法
今年国内船用钢材市场将持续看好
今年以来,国内船板市场需求旺盛,成交活跃,价格高位运行,整体发展势头较好。
期刊
钢材市场
国内
市场需求
高位运行
价格
关爱农民工 唱响和谐曲——东南商报“十大外来务工明星”评选系列活动报道实践
2007年12月2日,由宁波日报报业集团下属的东南商报等单位联合主办的宁波市第四届外来务工者节在中山广场举行庆祝活动。活动现场人山人海,成为一片欢乐的海洋。
期刊
外来务工者
商报
东南
农民工
宁波日报报业集团
关爱
实践
评选
彩色多普勒超声心动图观察美托洛尔对左心室舒张功能的影响
期刊
美托咯洛尔
超声心动图
左室舒张功能
与本文相关的学术论文