论文部分内容阅读
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的，结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模，根据多项式函数的结论得到对定点数据通路进行等价验证所需要的模拟向量数的上界，避免穷举所有的模拟向量。实验结果证明本文提出的方法是有效的。
基于模拟的定点算术数据通路等价性验证
【摘 要】
：
为证明定点数据通路的定点算术规范与转换后的寄存器传输级实现是等价的，结合算术转换和多项式函数对实现序列加法、乘法、移位运算的定点数据通路进行建模，根据多项式函数的结
【机 构】
：
哈尔滨工程大学计算机科学与技术学院,曲阜师范大学计算机科学学院
【出 处】
：
吉林大学学报(工学版)
【发表日期】
：
2009年5期
其他文献
在滇池流域通过田间试验,研究稻草秸秆覆盖对玉米和青花农田地表径流流失量、地表径流中总氮（TN）、铵态氮、硝态氮、总磷（TP）及径流泥沙含量的削减。结果表明：（1）地表径流的大小与降
研究了长期定位施肥试验中连续27年(1981-2007年)施用化肥和稻草对红壤水稻土钾素固定及其影响因素的影响。本试验选择了其中5个处理:CK(不施肥)、NP(施氮、磷肥)、NPK(施氮
从前期参数测量数据确定预测的因子和预测对象（电磁骚扰值），并根据数据的统计特性对其分级，然后归并模糊蕴涵式语句确定模糊关系集，构造预测区间修正因子的隶属函数。在确定合理的
提出了一种基于改进Hough变换(HT)和无轨迹卡尔曼滤波(UKF)的眼睛外角点跟踪算法。该算法在输入图像中存在虹膜时采用改进Hough变换提取眼睑轮廓并得到眼睛外角点位置,当输入图像中检测不到虹膜时,采用UKF算法对当前帧眼睛角点进行估计。实验证明,本文算法能精确地跟踪眼睛外角点。
通过用不同力度夹尾,分别观察夹尾前后的血压变化。结果表明,重度夹尾引起大鼠血压降低程度明显大于轻度夹尾,说明疼痛感越强,引起血压下降越明显。分别用光滑针和波纹形针以
提出一个公正、高效的电子彩票方案。该方案引入基于双线性群上q-DBDHI困难性假设的可验证随机函数来产生中奖数字，实现了彩票购买者的匿名性、中奖数字产生的可参与性和可验
<正>深圳湾1号位于深圳后海公园西岸,是一个集顶级办公、精装公寓、高端酒店和奢华商业中心于一体的城市地标综合体。这里拥有360°海天视界、私家空中泳池等极致配置,业主方
研究认为:中老年人,一旦离退休,难免产生孤独和失落感。克服这些不良情绪的有效方法是:改进思维,克服孤独与失落;广泛兴趣,摆脱孤独与失落,学会人际交往,忘却孤独与失落,老有
<正>同志们:今天会议的主要任务是,认真贯彻落实市委十一届七次、八次、九次全会精神,动员全市上下全面实施时尚化战略,深入推进时尚之都建设,加快经济转型和城市转型步伐,努