【摘 要】
：
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要.阐述了5种常用的同步器设计模板.验证方法提出了层次
【机 构】
：
国防科技大学计算机学院 长沙410073
论文部分内容阅读
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域(Clock Domain Crossing,CDC)设计越来越多,CDC设计和验证越来越重要.阐述了5种常用的同步器设计模板.验证方法提出了层次化的验证流程:结构化检查,基于断言的验证(assertion-based verification,ABV),对关键模块进行形式化验证.CDC设计应用于研发的一款65nm工艺SOC芯片(最高主频1GHz、10个时钟域设计、多种工作模式),该芯片已流片回来.经测试,芯片的功能正确,说明设计和验证方法是完备的.
其他文献
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
“两指两规”措施是纪检、监察部门惩治腐败的有效手段,但其实质为党内纪律性的处理措施,而不是刑事司法措施。本文在对“两指两规”措施的优劣进行评析的基础上,指出我国应
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
近年栽葡萄 ,什么品种好 ?建议如下 ,供农民朋友参考。1 要发展早熟优质品种上世纪后期 ,全国发展葡萄以中熟的巨峰为主 ,近年已供大于求 ,价格急剧下降 ,而比巨峰早熟的品
自20世纪60年代以来，西方很多学者就开始关注和研究货币国际化问题。随着美元霸权地位的衰落、日元国际化的推进以及欧洲货币一体化的成功进行和欧元作为国际货币的出现，货币国
作为人类历史上最重要的金融创新之一，资产证券化在最近20年以来始终是金融学研究的热点领域。综合分析国内外资产证券化的理论研究，可以发现存在两大特点: 一方面，研究消费
微量元素身价不凡元素医学里有它,因它是生命科学的前沿阵地;现代医学里有它,因它是细胞学及酶学的基础物质;传统医学里有它,因它是五行学说及阴阳学说的理论基础;营养科学里
在当今飞速发展的世界，组织变革每时每刻都在发生。变革成为每个组织面临的重大课题。变革中存在方方面面的动力和阻力，如何顺利的实施变革成为研究者关注的焦点。本文通过对变
目的简述放射工作人员职业健康检查系统的优越性。方法阐述检查系统的操作流程、功能模块介绍以及与手工操作比较的优势。结果实践证明该系统具有科学、高效、实用的特点。结
摘要：通过当前高考和新课标对阅读理解的要求，提出了英语阅读策略的认知和培养；在分析学生在阅读理解中普遍存在的问题后，介绍了一些相对应的解决方法；叙述了常见的阅读理解类型及高考材料中的常见出题类型，提出如何运用基本解题技巧排除干扰项从而得出正确答案；最后结合高考和新课标，倡导学生培养良好的阅读习惯，为其终身学习英语奠定基础 关键词：阅读理解 存在问题 阅读类型 阅读步骤 干扰项 解题技巧 高