【摘 要】
：
Soc芯片的各个复杂功能模块中通常包含多个时钟域和复位域,跨时钟域信号路径设计的错误可能引起亚稳态问题进而导致设计故障。本文介绍了亚稳态的危害、以及传统的验证方法。
论文部分内容阅读
Soc芯片的各个复杂功能模块中通常包含多个时钟域和复位域,跨时钟域信号路径设计的错误可能引起亚稳态问题进而导致设计故障。本文介绍了亚稳态的危害、以及传统的验证方法。相对于传统动态仿真方法耗时、容易遗漏的缺点,静态形式验证利用数学方法进行穷举,可以高效、快速、完备的检查可能出现的所有场景,提高验证的质量和效率。本文通过实例,利用静态形式验证技术对不同规模的设计中存在的跨时钟域和复位问题进行检视,并对验证结果进行了对比和分析。
其他文献
基于有限元软件ANSYS进行计算同塔多回输电线路工频电场的实际分布情况,以我国的工频电场暴露有限值作为标准,对线路带来的电磁环境影响作科学的评估,同时总结场强的实际分布
介绍了一个基于网络环境的英语在线学习系统构建过程以及在实际教学中的应用。在构建过程中使用FLEX替代HTML，保证使用者获得更好的网络应用程序，使用户获得更好的学习环境。
实践性知识在高校英语教师的专业发展中具有重要作用，同时也会对高校英语课堂教学产生重要影响，所以重视高校英语教师实践性知识的提高对推动高校英语教师教学素质的提高以及高
摘要：工程技术是把科学原理转变为改造世界的动力，机械设计课程讲授机械产品设计的技术基础。本文从新材料、信息科技、智能科学和生态环境四个方面，讨论了目前机械设计面临的挑战。前瞻的预测机械设计的发展方向，可以促进机械设计教学的改革。同时预测不是既成事实，也带有不确定性和风险，需要更多人的讨论与批评，使得未来的发展方向更清晰更准确。 关键词：机械设计；课程教学；挑战；对策讨论 中图分类号：G642.