论文部分内容阅读
将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中，以此寻找满足时序要求的可替换模块，通过在域上计算其特征多项式来比较模块的等价性。可以大大提高综合效率，通过实验结果说明了本方法的有效性，具有一定的借鉴意义。
一种基于特征多项式局部逻辑替代新方法研究
【摘 要】
：
将验证和测试阶段的一种特征多项式方法应用于布局后逻辑重综合中，以此寻找满足时序要求的可替换模块，通过在域上计算其特征多项式来比较模块的等价性。可以大大提高综合效率，通
【机 构】
：
哈尔滨师范大学计算机学院,哈尔滨工程大学计算机科学与技术学院
【出 处】
：
信息技术
【发表日期】
：
2008年8期
其他文献
研究了基于IEEE754标准的浮点数的存储格式，提出了一种基于ARM7的改进的浮点数转换成整型数的算法。分析了C／C＋＋中的强制类型转换和改进浮点数转换成整数的算法，比较了两种算法的
证明了Ｏｒｌｉｃｚ范数的Ｏｒｌｉｃｚ序列空间ＩＭ＾０和子空间ｈＭ＾０有ＵＫＫ，ＵＫＫ、ＷＵＫＫ和ＷＵＫＫ的充分必要条件都是Ｍ∈△２。
新城疫是危害养鸡业的主要疫病之一,如果同时感染其他病原菌疫病（如大肠杆菌病）,将会导致蛋鸡产蛋量下降,育成鸡死亡率增加.现结合许昌市某养殖场育成蛋鸡新城疫并发大肠杆菌病
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
报纸
近年来,我国养殖业迅速发展,规模化和集约化的发展是主要方向.云南省民乐镇的白象村与桃子树村农户在政府引导、企业引领带动下,促使养殖业销路有保证,并且养殖成本得到大量
设计的直放站回波抵消系统，用数字信号处理技术从根本上解决了单靠天线隔离所不能解决的问题。针对LMS算法在硬件实现上的局限提出了一种改进的DLMS算法，以适应高速实时信号处
目的:探讨促肝细胞生长素(HGF)对肝硬化的治疗作用.方法:采用促肝细胞生长素静脉滴注治疗肝硬化168例,100 mg/d,30日为1个疗程.对照组80例,予常规治疗.结果:经1个疗程后,治疗
我国现阶段出现两极分化现象有多种原因,治理两极分化势在必行。第一,趁目前制定＂十二五＂规划的有利时机,确立具有约束力的基本预期目标＂：十二五＂期间基尼系数降到0.45以下,2020年
工业视觉检查系统是对工业零件进行分类、识别的自动检查装置.该系统针对工业零件的强度图像采用图像传感器摄取原始信息,研究了图像预处理、图像分割、特征提取及分类等内容