浮点乘法验证中的一种边界点测试方法

来源 :复旦学报：自然科学版 | 被引量 : 0次 | 上传用户：redbattleline

【摘要】

：

针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为：对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数

【作者】

：

周汇俞军程君侠华霞

【机构】

：

复旦大学专用集成电路与系统国家重点实验室

【出处】

：

复旦学报：自然科学版

【发表日期】

：

2008年1期

【关键词】

：

浮点运算 IEEE754标准修正模式随机测试边界筛选 float point operation IEEE Standard 754 round mo

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

针对常用的随机测试生成方法的弱点,提出一种用于IEEE浮点乘法验证的边界条件筛选测试生成方法.其基本思路为：对待测算法边界条件建模;求解边界条件;用求得的解构造筛选操作数的标准;筛选操作数实现测试.应用该方法于典型芯片Intel387SX和实际设计项目C387L数学协处理器,证实该方法比随机测试生成方法更为可靠.

其他文献

应用于DCS1800,PCS1900,WCDMA Bluetooth的多模窄带低噪声放大器

采用SMIC 0.13μm CMOS工艺设计并实现了一种多模差分窄带低噪声放大器,可以用于DCS1800,PCS1900,WCDMA和Bluetooth等多种无线接收机系统.电路采用共源共栅源极退化电感结构,

期刊

射频低噪声放大器多模噪声系数寄生电容radio frequency low noise amplifier multi-mode noise f

农业持续稳定发展必须保持工农业关系协调

期刊

工业农业发展比例

低聚噻吩／富勒烯混合液中分子大小相关的电子转移效率

为了洞悉有机太阳能电池中的光致电子转移机制，利用荧光光谱方法研究低聚噻吩（分别包含2个，4个和6个噻吩）与富勒烯（碳60，70和碳84）混合液中的荧光猝灭．研究结果表明低聚噻吩／富勒烯混

期刊

电子转移低聚噻吩富勒烯荧光光谱electron transfer oligothiophene fullerene fluorescence sp