随机法和Hensel Lifting联合的浮点乘测试用例生成方法

来源 :计算机辅助设计与图形学学报 | 被引量 : 2次 | 上传用户：lixuantea

【摘要】

：

针对浮点乘仿真验证时覆盖率不全面和边界角用例定位难的问题,提出一种随机法和Hensel lifting理论联合的浮点乘测试用例生成方法.首先通过分析测试用例生成域设计了一个浮点乘测试用例产生及功能仿真平台;然后利用Hensel lifting理论提出一种统一的边界角浮点乘测试用例生成模型.将所提方法用于文中设计的功能仿真平台中,并将该平台与典型浮点测试工具集进行浮点乘性能比较的实验结果表明,该方法

【作者】

：

冯春阳杨靓黄士坦

【机构】

：

西安微电子技术研究所集成电路设计中心

【出处】

：

计算机辅助设计与图形学学报

【发表日期】

：

2014年09期

【关键词】

：

浮点乘仿真验证边界角用例 Hensel LIFTING 随机法检错率 floating-point multiplication simulation-

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

其他文献

秀外慧中的女班头赵丽丽

提起沈阳铁路局通化火车站客运车间副主任赵丽丽,认识她的人马上会想到她大眼睛、高鼻梁、脸如满月、身姿挺拔的秀美形象。了解她的人还知道,她秀外慧中,个性倔强,工作勤奋,

期刊

沈阳铁路局车站客运最高荣誉车间火车头副主任旅客售票员女职工工会工作

统编教材第一学段写字教学的实践解码

【摘要】写字教学要追根溯源，突出字理，渗透汉字文化;要依据科学，根据对教材内容的初步梳理，真正展开学习写字的过程;要以生为本，强调学习方法的迁移，注重知识组块的形成，培养学生的写字能力，提高学习效率。　　【关键词】统编教材;写字教学;实践　　统编教材对于写字教学非常重视，在编排教学内容时为一线教师提供了具体有效的实践方法。如何基于统编教材，展开第一学段的写字教学呢？笔者认为，可从以下几个方面着手

期刊

统编教材写字教学实践

4J管理技能辉煌68年——从TWI课程看美国企业的班组管理

要了解美国的班组管理，必然要了解美国各企业普遍采用的一套课程——TWI（Training WithinI ndustry），TWI的字面意思是“工业现场培训”，这套课程的目的是提高生产主管的管理技能—

期刊

美国企业班组管理管理技能课程现场培训字面意思管理能力班组长

卜伟伟的“星味儿”

今年24岁的卜伟伟,是江麓机电科技有限公司军品公司机加三车间的一名数控铣床操作工,从年龄上说还是一名军工战线上的新兵,因此同事们都喜欢叫他＂伟伟＂。不过新兵是新了点儿,可

期刊

职业技能大赛2009年数控铣床加工中心操作工湖南省公司新兵

随机法和Hensel Lifting联合的浮点乘测试用例生成方法

其他学术论文