【摘 要】
：
片上多核技术的出现给处理器的设计和验证带来很多挑战,对Cache一致性协议的验证就是其中的一个难点.采用基于功能覆盖率进行验证的思想,将各部件实现的Cache一致性协议处理
【机 构】
：
国家高性能集成电路(上海)设计中心 上海201204
【出 处】
：
第十五届计算机工程与工艺年会暨第一届微处理器技术论坛
论文部分内容阅读
片上多核技术的出现给处理器的设计和验证带来很多挑战,对Cache一致性协议的验证就是其中的一个难点.采用基于功能覆盖率进行验证的思想,将各部件实现的Cache一致性协议处理流程抽象为显式的序列描述,并详细说明如何利用PSL语言将这些序列转化为具体的覆盖点或断言,然后用这些功能点检查模拟验证向量的覆盖情况.本文采用的验证方法既保证了功能验证的全面性,又适当控制了验证规模,提高了验证效率,现已成功应用于具体的验证工作中.
其他文献
研究了铜包铝棒材的断裂行为和不同热处理对铜包铝复合材料界面结合强度的影响。结果表明:铜包铝复合材料在剪切作用力下裂纹在Cu_9Al_4层与CuAl_2层结合处形核并扩展。当载
随着ASIC芯片面临的上市压力越来越大,尽可能缩短开发周期是所有ASIC工程师所必须解决的问题.验证工作在整个芯片开发周期当中占据了60％～70％的时间,那么如何提高验证工作的效率
今年,祖国母亲50岁了。想起50,我就想到了505。因为我是505人,所谓“三句话不离本行”吗。 50年,不是一朝一夕,如果是一个人,也是知天命之年了,但对共和国而言,却正是朝气蓬
在幼儿园里,时常听到小朋友用沙哑的声音嬉戏、说笑。有人对1547名学龄前儿童做过调查,发现声音嘶哑的发生率为6.6％。这种现象,应引起家长和教师的关注。
In kindergarten,
随着晶体管技术以及芯片技术的发展,处理器的性能已经得到了极大提高.无论是在单核处理器上,还是在多核、众核处理器上,对于一些应用程序,存储体系结构的性能仍然是应用程序
目的 观察温通针法治疗产后身痛的临床疗效.方法 将52例产后身痛患者采用随机数字表法分为治疗组和对照组,各26例.治疗组主穴采用温通针法,对照组主穴采用平补平泻法,2组配穴
核因子-κB(NF-κB)信号通路作为经典的炎症通路,在类风湿关节炎(RA)的炎症进程中占据重要地位,受到众多学者关注.查阅相关文献,对NF-κB信号通路及近年来中医药(中药复方、
本文针对高性能DSP的从接口UTOPIA,提出了一种软硬件仿真测设平台系统的设计方法,实现了外部主机与DSP通过UTOPIA接口进行数据的异步传输.结果表明,这套测试平台系统有效地验
对近年来有关中医治疗动脉硬化闭塞症的临床研究文献进行全面查阅、整理,从中医内治法、外治法及其他治法三方面进行概述,并分析中医治疗动脉硬化闭塞症的临床疗效及特点,总
今年的上海热得特别早,小伏就已达37℃高温。外面酷暑隆隆,而心中烧意亦浓。手痒之余,记得在94年电子报合订本上册附录中曾读到过一篇陆全根先生的《传统OCL功放制作精选》,