典型文献
基于形式验证的多周期路径检测技术
文献摘要：
多周期路径是将复杂电路运算拆分在多个时钟周期完成,从而提高电路总体运行频率的一种方法;在设计和验证中,多周期路径约束错误会导致设计迭代反复和验证误报;文章对多周期路径的产生机理和设计验证中常见的问题进行分类分析,提出一种用静态时序分析和形式验证结合来查找设计中的多周期路径的方法,首先通过静态时序分析,查找出时序违例的路径,针对这些路径,插入设计的检测电路,检测电路主要通过检测目的触发器采样控制信号有效时间,来判断该路径是否为多周期路径;采用基于断言的形式验证,用自动化的手段检测多周期路径;实践结果表明,该方法针对两种时钟下的多周期路径,能够100％准确地检测出违例的多周期路径,避免多周期路径错误约束,省略人工分析和动态仿真确认多周期路径环节.
文献关键词：
SOC验证;时序分析;形式验证;多周期路径;断言
中图分类号：
作者姓名：
朱秋岩
作者机构：
北京航天自动控制研究所,北京 100854
文献出处：
引用格式：
[1]朱秋岩-.基于形式验证的多周期路径检测技术)[J].计算机测量与控制,2022(04):35-39,97
A类：
多周期路径,误约
B类：
形式验证,路径检测,复杂电路,拆分,时钟,运行频率,误会,误报,产生机理,设计验证,分类分析,静态时序分析,违例,检测电路,检测目的,触发器,采样控制,控制信号,断言,实践结果,省略,工分,动态仿真,真确,SOC
AB值：
0.245048
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
