【摘 要】
：
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证，提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式，同时给出了该模型的化
【机 构】
：
哈尔滨工程大学计算机科学与技术学院
论文部分内容阅读
为了实现多项式数据通路的初始算术规范与其相应的寄存器传输级实现之间的等价性验证，提出了一个有序的、简化的和正则的带权值广义表模型表达字级多项式，同时给出了该模型的化简、加法和乘法运算规则，基于这些规则对寄存器传输级电路构建其相应有序的、简化的和正则的带权值广义表模型。实验结果表明，该模型对寄存器传输级电路的等价性验证与^＊BMD相比，不论是在存储空间还是在CPU时间花费上均有明显的优势。
其他文献
个性化推荐技术能够帮助用户更方便地从大量的文本数据中得到感兴趣的文本.数字图书馆中现有的个性化推荐技术都是根据文本相似性为用户推荐感兴趣的文本.该文提出用户对文本
反诉制度在我国诉讼理论及实践中尚不完善,反诉提出时间上的限制和是否能与本诉在二审程序中合并审理似为不妥,这大大影响了诉讼经济及审级利益,本文从二审的设置,审级利益,
本文基于信息不对称理论探讨上市企业内部董事声誉对其银行贷款的影响。以2003～2016年A股上市公司为样本进行研究发现:内部董事声誉对企业银行贷款具有显著影响;拥有声誉良好
目的分析临床冠状动脉粥样硬化性心脏病患者行中医疗法的疗效。方法选取我院2012年2月~2014年5月收治的冠状动脉粥样硬化性心脏病患者40例,将其分为对照组(西医疗法)和实验组
为了进一步研究船舶实时运动预报，针对船舶在随机海浪作用下的非平稳运动特性和运动姿态的潜周期性，采用周期图算法对海浪扰动下的船舶横摇运动进行建模预报．分析了周期图算法的
100例高位复杂性肛瘘患者,随机分为对照组和观察组各50例,对照组患者运用单纯的内口切除引流术治疗,观察组患者在对照组手术治疗的基础上联合切开挂线法和挂浮线不紧线法,治
目的竹叶柴胡为川产道地柴胡,被川贵云湘等地方中药材标准所收载,其特点是全株用药,符合当今节约型国策,其有效成份可靠,发展前景看好,本课题旨在帮助药农生产优质高产无公害
针对传统Hu氏不变矩易受摄像头径向畸变影响造成水下目标识别率低的问题,提出一种基于改进的Hu氏不变矩提取形状特征的方法,该方法依据摄像头的径向畸变模型重新恢复目标像素坐标与其灰度值的映射关系,构造出新的具有平移、缩放和旋转不变形的形状特征向量.同时为消除形状特征向量信息间的冗余问题,根据相关向量线性组合不改变向量自身性质的特点,提出一种基于相似度量准则进行对形状特征向量降维处理的方法.最后针对直接
随着计算机技术的发展,部分院校也正在致力于建设智慧校园,从这一角度出发,研究了院校建设指挥校园的方式方法,并且对于如何建设智慧校园,给出了自己的方法和建议。
MAX3100是一种具有SPI接口和IrDA模式的通用异步收发器,而TFDU4100则是符合IrDA 1.2标准的低功耗连续红外数据收发模块,本文利用ATmega8单片机的SPI接口与MAX3100进行双向通