切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
以时间裕量为参数的时序电路再综合算法
以时间裕量为参数的时序电路再综合算法
来源 :计算机辅助设计与图形学学报 | 被引量 : 7次 | 上传用户:A403537889
【摘 要】
:
为了有效地利用时序电路中普遍存在的时间裕量来提高再综合算法的面积优化效率,对时间裕量概念进行拓展,制定了基于时间裕量参数的再综合取舍判断准则;用局部重定时消除寄存器对布尔可满足性映射范围的限制,并通过全局重定时保证整个时序电路满足时钟周期的要求.实验结果表明,文中算法是有效的.
【作 者】
:
李鹏
兰巨龙
【机 构】
:
解放军信息工程大学国家数字交换系统工程技术研究中心
【出 处】
:
计算机辅助设计与图形学学报
【发表日期】
:
2010年09期
【关键词】
:
时间裕量
时序电路
布尔可满足性
重定时
slack
sequential circuits
Boolean satisfiability
retimin
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了有效地利用时序电路中普遍存在的时间裕量来提高再综合算法的面积优化效率,对时间裕量概念进行拓展,制定了基于时间裕量参数的再综合取舍判断准则;用局部重定时消除寄存器对布尔可满足性映射范围的限制,并通过全局重定时保证整个时序电路满足时钟周期的要求.实验结果表明,文中算法是有效的.
其他文献
个体化健康教育应用于糖尿病并痛风患者的效果观察
目的研究健康教育对糖尿病合并痛风患者临床疗效的影响。方法选择60例2型糖尿病合并痛风患者,将其分为两个组:集体教育组和个体化教育组,对于前一个组,每周一次对患者开展糖尿病
期刊
糖尿病
痛风
个体化教育
集体教育
嵌入式P端口SRAM的端口间故障测试
为了有效地测试嵌入式P端口静态随机存取存储器(SRAM)端口间的故障,提高电子系统的安全性,提出一种基于结构故障模型的故障测试算法.首先对March C-算法扩展得到w-r算法,即让一个端口执行March C-算法的同时另一个端口于偏移量为±2的地址并行执行伪读操作,并考虑存储器的规则结构给出了其简化算法;然后提出w-w算法,通过2个端口向存储器单元并行写(不同的地址),可有效地激发2个写端口之间
期刊
P端口
SRAM
结构故障模型
内建自测试
端口间故障
P-port
SRAM
structural fault model
built in self
膝关节痛风性关节炎关节镜下处理的疗效分析
目的探讨膝关节痛风性关节炎的关节镜下处理的疗效。方法 2008年12月~2010年5月,该科收治15例经保守治疗效果不明显的膝关节痛风性关节炎患者,采用关节镜下膝关节腔探查和清理
期刊
关节镜
膝关节
痛风性关节炎
疗效
arthroscopy
knee
gouty arthritis
effect
福建船企1月迎来“开门红”
1月份,福建省规模以上船舶工业企业创工业总产值9.74204L元,同比增长8%,其中:实现出口产值8252万元,创工业商品产值8.4925亿元,非船类经营商品产值8190万元。1月份,福建规模以上船企共
期刊
福建省
船舶工业企业
工业总产值
产品销售收入
同比增长
出口产值
工业商品
经营商品
基于STC12C5410AD的电铃无线控制系统
针对传统电铃采用单一作息时间表进行专线控制的缺点,设计了一种能无线控制、又能同时存储多个作息时间表的电铃控制系统.该系统用无线代替专线,存储有多个时间表,在季节变更时通
期刊
无线控制
STC12C5410AD
电铃
多表制
Wireless control
STC12C5410AD
Electric bell
Multi-ta
灯盏花素不同给药方式对脑缺血再灌注大鼠保护作用的影响
目的比较灯盏花素不同给药方式对脑缺血再灌注大鼠保护作用的影响。方法用Zealonga线栓法制备SD大鼠右侧局部脑缺血模型,脑缺血4 h,再灌注20 h,观察各组对脑缺血大鼠行为学、
期刊
灯盏花素
给药方式
脑缺血
保护作用
其他学术论文