买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：成都翌创微电子有限公司

摘要：本发明涉及数字芯片多周期路径验证技术领域，公开了一种静态时序分析和前仿真相结合的多周期路径约束验证方法，包括：S1、搭建并运行基于网表的静态时序分析工具环境；S2、在所述静态时序分析工具环境中输入需要验证的多周期路径约束；S3、获取相应的触发器的触发器名称reg_net、触发器时钟名称clock_net以及约束设置放松的周期数目n；S4、运行前仿真用例，将所述触发器的名称reg_net、触发器时钟名称clock_net、周期数目n自动分别转换成前仿真断言；S5、重复S4；S6、检查每一个多周期路径是否都有对应的断言，若是，则跳转至S8，否则，跳转至S7；S7、新增前仿真用例，返回S4；S8、检查断言结果是否有出现Error。本发明使得验证时间缩短。

主权项：1.一种静态时序分析和前仿真相结合的多周期路径约束验证方法，其特征在于，包括：S1、搭建并运行基于网表的静态时序分析工具环境；S2、在所述静态时序分析工具环境中输入需要验证的多周期路径约束；S3、根据多周期路径约束覆盖的若干多周期路径的起点时钟和终点时钟的频率关系获取相应的触发器的触发器名称reg_net、触发器时钟名称clock_net以及约束设置放松的周期数目n；根据多周期路径的起点时钟和终点时钟的频率关系将多周期路径分为三类：第一类：快频率时钟到慢频率时钟，在该情况下获取起点触发器名称reg_netq、起点触发器时钟名称clock_netq以及约束设置放松的周期数目n；第二类：慢频率时钟到快频率时钟，在该情况下获取终点触发器名称reg_netz、终点触发器时钟名称clock_netz以及约束设置放松的周期数目n；第三类：相同频率时钟之间，在该情况下同时获取起点触发器名称reg_netq、终点触发器名称reg_netz、起点触发器时钟名称clock_netq、终点触发器时钟名称clock_netz以及约束设置放松的周期数目n；S4、运行前仿真用例，将所述触发器的名称reg_net、触发器时钟名称clock_net、周期数目n自动分别转换成前仿真断言，并将断言结果存储进日志中；若多周期路径为第一类和第二类，S4的具体步骤为：S4.1、运行前仿真用例，判断其中一个多周期路径中的触发器名称reg_trl在基于set-up-hold翻转时，对应的触发器时钟名称clock_trl是否有同时翻转，若是，则跳转至S4.2，否则，判定该多周期路径无断言，未被前仿真用例覆盖；S4.2、记录翻转后的第一个周期的所述触发器名称reg_trl的值为reg_trl_cycle1，同时记录该多周期路径已被前仿真用例覆盖；S4.3、在后续（n-1）个周期的触发器时钟名称clock_trl翻转中，采集每一次触发器时钟名称clock_trl翻转时的触发器名称reg_trl的值，并判断触发器时钟名称clock_trl翻转时的触发器名称reg_trl的值是否都等于reg_trl_cycle1，若是，则输出pass，否则，输出Error；若多周期路径为第三类，则选择reg1或者reg2作为验证对象，S4的具体步骤为：S4.4、运行前仿真用例，判断其中一个多周期路径中的起点触发器名称reg_trlq在基于set-up-hold翻转时，起点触发器时钟名称clock_trlq是否有同时翻转，若是，则跳转至S4.5，否则，判定该多周期路径无断言，未被前仿真用例覆盖；S4.5、记录翻转后的第一个周期的所述起点触发器名称reg_trlq的值为reg_trlq_cycle1，同时记录该多周期路径已被前仿真用例覆盖；S4.6、在后续（n-1）个周期的起点触发器时钟名称clock_trlq翻转中，采集每一次起点触发器时钟名称clock_trlq翻转时的起点触发器名称reg_trlq的值，并判断起点触发器时钟名称clock_trlq翻转时的起点触发器名称reg_trlq的值是否都等于reg_trlq_cycle1，若是，则输出pass，否则，输出Error；或者，S4.7、运行前仿真用例，判断其中一个多周期路径中的终点触发器名称reg_netz在基于set-up-hold翻转时，终点触发器时钟名称clock_netz是否有同时翻转，若是，则跳转至S4.8，否则，判定该多周期路径无断言，未被前仿真用例覆盖；S4.8、记录翻转后的第一个周期的所述终点触发器名称reg_netz的值为reg_trlz_cycle1，同时记录该多周期路径已被前仿真用例覆盖；S4.9、在后续（n-1）个周期的终点触发器时钟名称clock_netz翻转中，采集每一次终点触发器时钟名称clock_netz翻转时的终点触发器名称reg_netz的值，并判断终点触发器时钟名称clock_netz翻转时的终点触发器名称reg_netz的值是否都等于reg_trlz_cycle1，若是，则输出pass，否则，输出Error；S5、重复S4，直到所有的前仿真用例均被运行完；S6、检查每一个多周期路径是否都有对应的断言，若是，则跳转至S8，否则，跳转至S7；S7、针对无断言的多周期路径，新增前仿真用例，返回S4；新增前仿真用例的具体手段包括：通过人工分析的方法，设置新增的前仿真用例，该用例使得原来无断言的多周期路径的触发器reg_trl发生翻转；S8、检查日志中的断言结果是否有出现Error，若是，则证明该多周期路径约束有风险，否则，表示该多周期路径约束验证通过。

全文数据：

权利要求：

百度查询： 成都翌创微电子有限公司 静态时序分析和前仿真相结合的多周期路径约束验证方法