科研之友
微信
新浪微博
Facebook
分享链接
摘要
多周期路径是将复杂电路运算拆分在多个时钟周期完成，从而提高电路总体运行频率的一种方法；在设计和验证中，多周期路径约束错误会导致设计迭代反复和验证误报；文章对多周期路径的产生机理和设计验证中常见的问题进行分类分析，提出一种用静态时序分析和形式验证结合来查找设计中的多周期路径的方法，首先通过静态时序分析，查找出时序违例的路径，针对这些路径，插入设计的检测电路，检测电路主要通过检测目的触发器采样控制信号有效时间，来判断该路径是否为多周期路径；采用基于断言的形式验证，用自动化的手段检测多周期路径；实践结果表明，该方法针对两种时钟下的多周期路径，能够100%准确地检测出违例的多周期路径，避免多周期路径错误约束，省略人工分析和动态仿真确认多周期路径环节。
-
单位北京航天自动控制研究所
