[发明专利]静态时序分析和前仿真相结合的多周期路径约束验证方法在审
| 申请号： | 202311055205.5 | 申请日： | 2023-08-22 |
| 公开（公告）号： | CN116776793A | 公开（公告）日： | 2023-09-19 |
| 发明（设计）人： | 邵帅;胡龙龙;赵伟 | 申请（专利权）人： | 成都翌创微电子有限公司 |
| 主分类号： | G06F30/3315 | 分类号： | G06F30/3315 |
| 代理公司： | 成都行之智信知识产权代理有限公司 51256 | 代理人： | 何筱茂 |
| 地址： | 610000 四川省成都*** | 国省代码： | 四川;51 |
| 权利要求书： | 暂无信息 | 说明书： | 暂无信息 |
| 摘要： | 本发明涉及数字芯片多周期路径验证技术领域，公开了一种静态时序分析和前仿真相结合的多周期路径约束验证方法，包括：S1、搭建并运行基于网表的静态时序分析工具环境；S2、在所述静态时序分析工具环境中输入需要验证的多周期路径约束；S3、获取相应的触发器的触发器名称reg_net、触发器时钟名称clock_net以及约束设置放松的周期数目n；S4、运行前仿真用例，将所述触发器的名称reg_net、触发器时钟名称clock_net、周期数目n自动分别转换成前仿真断言；S5、重复S4；S6、检查每一个多周期路径是否都有对应的断言，若是，则跳转至S8，否则，跳转至S7；S7、新增前仿真用例，返回S4；S8、检查断言结果是否有出现Error。本发明使得验证时间缩短。 | ||
| 搜索关键词： | 静态 时序 分析 仿真 相结合 周期 路径 约束 验证 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于成都翌创微电子有限公司，未经成都翌创微电子有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202311055205.5/，转载请声明来源钻瓜专利网。
