【摘 要】
：
为了对微处理器中浮点运算单元FPU（floating-point unit）进行高效的功能验证,对浮点运算的边界情况进行了研究,引入了对中间结果（intermediate result）的约束解决算法（constriant
论文部分内容阅读
为了对微处理器中浮点运算单元FPU（floating-point unit）进行高效的功能验证,对浮点运算的边界情况进行了研究,引入了对中间结果（intermediate result）的约束解决算法（constriant solved arithmetic）.与传统的对浮点运算单元的功能验证相比,基于该约束算法的浮点数生成器,拓宽了浮点边界情况的可选范围,有效提高了验证效率.实验结果表明,集成该浮点数生成器的UVM验证平台,能够在12小时的测试时间内,对一个浮点运算子模块（floating-point
其他文献
中国密码学会2016年密码芯片学术会议（CryptoIC 2016）将于2016年8月29日至30日在北京清华大学举行。本次会议由中国密码学会密码芯片专业委员会主办，清华大学微电子学研究所承办
＂非活动乙肝病毒携带状态＂也可叫＂非活动性乙肝病毒携带者＂,简称＂非活动携带＂,它是乙肝病毒（HBV）携带者的一种。我国现有9000万乙肝病毒携带者,其中约有40%左右为＂非活动携带＂。现在我
提出一种支持扩展指标体系的SSUT网络安全态势评估模型.该模型将传统网络安全指标重新归类和量化,并支持对常见或新指标的扩展,采用支持向量机分类方法实现对网络安全态势的
<正> 随着科学技术的发展,图书情报工作也在走向现代化。图书馆情报工作现代化是应用现代化科学技术,主要是以计算机为核心技术手段,采用先进的图书情报的科学方法,实现现代
应用协调学相关理论,针对分布式数据库系统的控制协调,给出一种基于内存缓存、面向执行实体的协调模型EOCC（Executing Entity Oriented memory Cache based Coordination mode
<正>2016年9月24日至26日,以'绿色发展与长江经济带生态环境保护'为主题的第十一届中国生态健康论坛在四川省攀枝花市隆重召开。9月25日下午,农工党中央举办了'
<正> 四月三十日,国家机械委属的太原机械学院和太原重机学院的两个图书馆在晋祠举行了联谊活动。既是图书馆界的同行,又是机械委属的一家,自愿组织这样的群众性活动是非常有
2014年12月18日至20日，中国农工民丰党第十五届中央委员会第三次全体会议在京召开。全国人大常委会副委员长、农工党中央主席陈笠作工作报告，全国政协副主席、农工党中央常务副
<正> 中文期刊采购工作的内容包括四个主要方面:订购、补缺、交换和内部工作。而这些工作又可派生出:邮局订购,内部订购,零购;出版社、编辑部、馆际补缺、交换、旧书店补缺、
<正> 我们在学习和工作以及日常生活中,尤其是在阅读古汉语作品时,往往会遇到一些疑难问题,需要借助工具书的帮助。为了提高阅读古书的能力,除应提高专业水平和掌握一定的古