【摘 要】
：
浮点部件的验证一直以来都是处理器验证中的一个热点和难点,本文针对多线程架构下的浮点向量部件,基于IEEE754-2008标准,提出了一种较为完善和高效的验证方法.包括验证的内容
【机 构】
：
国防科技大学计算机学院 长沙410073
【出 处】
：
第十五届计算机工程与工艺年会暨第一届微处理器技术论坛
论文部分内容阅读
浮点部件的验证一直以来都是处理器验证中的一个热点和难点,本文针对多线程架构下的浮点向量部件,基于IEEE754-2008标准,提出了一种较为完善和高效的验证方法.包括验证的内容、多线程验证程序的设计和测试数据的构造.研究了向量浮点部件的异常测试,并在NC-verilog环境下得出了验证的覆盖率统计情况.
其他文献
对近年来有关中医治疗动脉硬化闭塞症的临床研究文献进行全面查阅、整理,从中医内治法、外治法及其他治法三方面进行概述,并分析中医治疗动脉硬化闭塞症的临床疗效及特点,总
今年的上海热得特别早,小伏就已达37℃高温。外面酷暑隆隆,而心中烧意亦浓。手痒之余,记得在94年电子报合订本上册附录中曾读到过一篇陆全根先生的《传统OCL功放制作精选》,
片上多核技术的出现给处理器的设计和验证带来很多挑战,对Cache一致性协议的验证就是其中的一个难点.采用基于功能覆盖率进行验证的思想,将各部件实现的Cache一致性协议处理
马赫穆德·喀什噶尔是我国古代维吾尔族的著名学者,他编著的《突厥语词典》,不仅丰富了我国的文化,而且对促进我国与世界各国人民,特别是与阿拉伯各国人民的文化交流起了很
通过对“肺朝百脉”思想内涵的阐释,运用其理论探讨肺心关系,对心系疾病进行再认识,根据其对心系疾病的影响,结合相应的现代心系疾病的临床研究,深入讨论,以期从中获得对于心
介绍名老中医张瑞霞主任医师治疗肝硬化顽固性腹泻的经验.其认为,肝硬化顽固性腹泻主要因肝失疏泄、气机不畅、脾失健运、水运失司、水谷清浊不分所致,肝郁脾虚为本病基本病
本文介绍了一种半定制与全定制相结合的SIMD乘法器设计.针对半定制设计周期短和全定制设计高性能的特点,以16×16的SIMD乘法器为例,整体采用半定制的设计方法,但对第一栈中的
介绍了一种应用于浮点DSP中的FA(浮点加法器),对其算法结构进行了详细的研究,采用改进的单通路算法,设计实现了FA.在完成设计后采用NC-Verilog对各个单元模块和整体结构进行
目前,高性能微处理器是整个信息技术和市场竞争的主要焦点,随着集成电路工艺的发展,采用传统超标量开发指令的并行性的投资回报率越来越低,利用多线程等技术开发更高层次的并
将近年来国内外对中药提取物抑制NLRP3炎症小体以改善细胞焦亡从而干预动脉粥样硬化性疾病的相关研究进行概述,阐释相关中药提取物有效成分的作用特点,分析研究中所存在的问