切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
基于切割法的时序电路等价验证
基于切割法的时序电路等价验证
来源 :复旦学报(自然科学版) | 被引量 : 0次 | 上传用户:louqiangdj
【摘 要】
:
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为
【作 者】
:
黄伟
唐璞山
【机 构】
:
复旦大学专用集成电路与系统国家重点实验室
【出 处】
:
复旦学报(自然科学版)
【发表日期】
:
2006年1期
【关键词】
:
半导体技术
计算机辅助设计
形式验证
SAT解答器
semiconductor technology
computer-aided design
forma
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在Van Eijk时序电路等价验证算法中引入切割法,提出一种改进算法.由切割法引发的错反问题同时得到解决,合理的切割可以使时序电路等价验证只需较少时间.改进算法用SAT解答器作为计算引擎,实验结果表明,改进算法的运行速度约为原先算法的2倍.
其他文献
2011年北京印刷学院设计艺术学院毕业设计优秀作品选登(艺术设计专业)
期刊
n维复空间上Fock空间的循环向量
给出了定义在n维复空间C^n上的Fock空间La^2(C^n)中的循环向量的一个完整刻划,证明了La^2(C^n)中的函数f(z)是循环向量当且仅当f(z)不取零值.
期刊
FOCK空间
循环向量
整函数
Fock space
cyclic vectors
entire function
现代鸡爪型杆塔输电线路防雷保护系统分析
随着科技发展,生产和生活用电量越来越大,电已经成为最重要的资源之一,如何保证电力的供应对于国民经济发展和人民生活水平的提高都有非同一般的意义。在电力输送过程中,如何防雷
期刊
鸡爪型杆塔
输电线路
防雷保护系统
调查显示在售学生辞典合格率不足10%
新闻出版总署最新调查显示,目前在售的10余种学生辞典,合格率不足10%。而第四版《新编小学生字典》将于近日上市。最新“出炉”的第四版《新编小学生字典》参考了最新汉字使用频
期刊
小学生
辞典
显示
新闻出版
统计数据
使用频率
第四版
合格率
元认知策略与大学英语听力
非英语专业大学生对听力一直深感头痛,他们对有效提高听力能力亦颇感棘手。适当运用元认知策略可提高他们的元认知水平,加快听力进步的幅度。元认知策略可分为三类:计划策略、
期刊
听力
元认知策略
听前活动
听中活动
听后活动
listening comprehension
metacognitive strategies
pre-l
杯[4]间苯二酚芳烃类酸增殖剂的合成及性能表征
以间苯二酚为原料,分别与正十一醛和月桂醛,在盐酸、乙醇回流条件下进行缩合成环反应,得到中间体杯[4]间苯二酚芳烃衍生物;中间体再与对甲苯磺酰氯经过酯化反应制备了两种杯[
期刊
间苯二酚芳烃衍生物
酸增殖剂
对甲苯磺酸酯
calix[4]resorcinarene derivatives
acid proliferation gene
利用ESPRIT算法对船舶进行无线定位
提出一种在接收端利用阵列天线进行船舶自定位的新方法.利用ESPRIT(借助旋转不变技术估计信号参数)算法估计出波达方向角(DOA),然后与利用波达方向角计算出船舶自身所在的坐
期刊
ESPRIT算法
波达方向
无线定位
测向
阵列天线
接收端
DOA
自定位
同步
测距
telecommunication technology
ESPRI
全寿命周期成本视角下电力设备检修策略的研究
电力设备是电力系统最重要的组成部分,电力设备的有效检修是保证设备正常使用和电网安全的关键,从这一层面上分析,积极探讨研究建立关于电力设备检修的可行性策略是十分必要的。
期刊
全寿命周期成本
电力设备
检修策略
磁性材料与磁性纸的制备
介绍了常用磁性材料Fe3O4、γ-Fe2O3及CoFe2O4及其制备方法。综述了磁性纤维及磁性纸的制备方法,回顾了细胞腔内填充法和原位复合法制备磁性纤维和磁性纸的研究进展情况,对两
期刊
磁性材料
磁性纤维
磁性纸
印刷适应性
magnetic material
magnetic fiber
magnetic paper
printabil
仪征化纤输电线路智能巡检的方案及研究运用.
智能巡检就是巡检的智能化,由掌上电脑数据采集器、服务器软件、工作站软件、掌上电脑软件等组成,并具有多种接口模块可与MIS、缺陷管理和状态检修等其它系统集成,实现电网的可
期刊
智能巡检设施
输电线路
与本文相关的学术论文