【摘 要】
：
为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否
论文部分内容阅读
为了减少复杂设计中可能的亚稳态风险，不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理，却无法检查处理得是否合理，而静态Formal验证技术采用数学穷举的方法，利用断言对设计中的同步器进行快速验证，确保数据的可靠传输，有效避免了一些设计缺陷。Mentor公司的Questa CDC和Forma1工具可以对设计进行跨时钟域的检查，并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性，可极大地提高复杂设计的验证效率和鲁棒性。
其他文献
在使用AFIS测试系统时,一些随机因素如测试环境变化、尘埃、仪器状态、操作者主观偏差等,会引起测试结果出现随机误差。随机误差使测试结果偏离真实值,但却很难被人们控制和
利用统计学方法研究社会经济与自然等要素的地理空间分布在最近几十年来已引起许多学者的关注．地理空间分布的整体性就像它的局部性一样．是空间统计分析的主要对象。本文目的是
<正>一、萨托里斯—希尔信用政策决策模型正确地确定企业的信用政策,是一项重要的财务决策.对此,目前流行的各种财务管理教科书向人们提供了这样一种决策方法:首先,确定建议
文章论述了新开发的一种微机式电气防误操作控制系统的组成和控制原理，及其应用功能和特点，对电厂和变电站电气设备操作人员有实际参考价值。
我国自古以来就有一条从西南通向东南亚的陆上交通要道,即西南丝绸之路。近年来,这条古代陆上交通线受到学者的密切关注,对其研究著述者颇多。《华阳国志》大量的记述了我国
随着我国经济社会的发展,人口老龄化问题的日益突出,老年人再婚现象呈现上升趋势,当前构建社会主义和谐社会和人口老龄化的过程中,保障老年人晚年的幸福生活具有重要价值和意
高斯混合模型被广泛应用于摄像机静止条件下运动目标检测的背景建模。针对传统高斯混合模型中对光照变化适应性差及学习率单一等问题, 提出了一种光照变化检测及学习率更新的
为研究空沟对高速列车引起地基振动的隔振效果,在已有研究基础上改进出一种新的解析研究模型。模型中首次运用了饱和半空间模型来研究地基上隔振沟对高速列车的隔振效果;隔振
东方出版中心出版的<中国诗学>,引述<四库全书总钟嵘<诗品>、释皎然<诗式>、欧阳修<六一诗话>为代表的诗歌理论著作分为"诗评"、"诗格"、"诗话"三类不同的诗论体裁,不具备体
传统的学生管理以社会本位为价值取向，注重控制、约束，要求学生遵从秩序、服从权威。面对自我中心、个性张扬、崇尚自由的90后女大学生，教师要在管理中注意沟通策略，从强调约束进