切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
一种基于特征多项式局部逻辑替代新方法研究
一种基于特征多项式局部逻辑替代新方法研究
来源 :信息技术 | 被引量 : 0次 | 上传用户:dengdq123
【摘 要】
:
将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中,以此寻找满足时序要求的可替换模块,通过在域上计算其特征多项式来比较模块的等价性。可以大大提高综合效率,通
【作 者】
:
郭淑红
王冠军
赵莹
【机 构】
:
哈尔滨师范大学计算机学院,哈尔滨工程大学计算机科学与技术学院
【出 处】
:
信息技术
【发表日期】
:
2008年8期
【关键词】
:
特征多项式
局部逻辑替代
逻辑综合
布局后逻辑重综合
characteristic polynomial local logic substitution lo
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中,以此寻找满足时序要求的可替换模块,通过在域上计算其特征多项式来比较模块的等价性。可以大大提高综合效率,通过实验结果说明了本方法的有效性,具有一定的借鉴意义。
其他文献
基于ARM的浮点数转换成整数的改进算法
研究了基于IEEE754标准的浮点数的存储格式,提出了一种基于ARM7的改进的浮点数转换成整型数的算法。分析了C/C++中的强制类型转换和改进浮点数转换成整数的算法,比较了两种算法的
期刊
浮点数
整型数
addnumber
强制转换
floating point number integer addnumber C/C ++ data type
Orlicz序列空间的UKK,WUKK和WUKK
证明了Orlicz范数的Orlicz序列空间IM^0和子空间hM^0有UKK,UKK、WUKK和WUKK的充分必要条件都是M∈△2。
期刊
ORLICZ序列空间
ORLICZ范数
UKK
WUKK
Orlicz spaces
Orlicz norm
UKK
UKK WUKK
WUKK
鸡新城疫并发大肠杆菌病的诊治
新城疫是危害养鸡业的主要疫病之一,如果同时感染其他病原菌疫病(如大肠杆菌病),将会导致蛋鸡产蛋量下降,育成鸡死亡率增加.现结合许昌市某养殖场育成蛋鸡新城疫并发大肠杆菌病
期刊
鸡新城疫
大肠杆菌
并发症
诊治
浅论针线法对不同损伤程度纺织品的修复研究
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
报纸
老年气胸52例救治体会
期刊
老年
气胸
COPD
肺疾病
并发症
误诊
哮喘
诊断
加强动物疾病诊疗提高动物疾病诊疗水平
近年来,我国养殖业迅速发展,规模化和集约化的发展是主要方向.云南省民乐镇的白象村与桃子树村农户在政府引导、企业引领带动下,促使养殖业销路有保证,并且养殖成本得到大量
期刊
动物疾病
诊疗
水平
DAB直放站多径抵消系统的设计
设计的直放站回波抵消系统,用数字信号处理技术从根本上解决了单靠天线隔离所不能解决的问题。针对LMS算法在硬件实现上的局限提出了一种改进的DLMS算法,以适应高速实时信号处
期刊
直放站
OFDM
上/下变频
回波抵消
DLMS
FPGA
repeater OFDM DDC echo cancellation DLMS FPGA
促肝细胞生长素治疗肝硬化临床研究
目的:探讨促肝细胞生长素(HGF)对肝硬化的治疗作用.方法:采用促肝细胞生长素静脉滴注治疗肝硬化168例,100 mg/d,30日为1个疗程.对照组80例,予常规治疗.结果:经1个疗程后,治疗
期刊
促肝细胞生长素
治疗
肝硬化
临床研究
有效治理“两极分化”加剧的理性思考与政策建议
我国现阶段出现两极分化现象有多种原因,治理两极分化势在必行。第一,趁目前制定"十二五"规划的有利时机,确立具有约束力的基本预期目标":十二五"期间基尼系数降到0.45以下,2020年
期刊
两极分化
有效制止
理性思考
polarization effective prevention rational consideration
工业视觉检查系统中的图像处理及模式识别
工业视觉检查系统是对工业零件进行分类、识别的自动检查装置.该系统针对工业零件的强度图像采用图像传感器摄取原始信息,研究了图像预处理、图像分割、特征提取及分类等内容
期刊
图像处理
图像分割
模式识别
工业视觉检查系统
图像传感器
特征提取
industrial vision image processing image clas
与本文相关的学术论文