申请/专利权人：美商新思科技有限公司

申请日：2022-03-02

公开（公告）日：2022-09-23

公开（公告）号：CN115099184A

主分类号：G06F30/392

分类号：G06F30/392;G06F30/394;G06F30/398

优先权：["20210303 US 63/155,859","20220301 US 17/684,287"]

专利状态码：在审-实质审查的生效

法律状态：2024.01.26#实质审查的生效;2022.09.23#公开

摘要：本公开的各实施例涉及用于电路设计的静态验证的自动设计层次标识和简化缩减模型生成。一种系统实施电路设计的静态验证。该系统接收电路设计并且生成用于电路设计的电路块中的一些电路块的简化缩减模型SRM。简化缩减模型包括足以用于电路设计的静态验证的电路细节，但排除用于模型化电路块的一些电路细节。系统还可以生成用于SRM的约束。该系统使用简化缩减模型和所生成的约束来实施电路设计的静态验证。系统可以通过在多个处理器上实施分布式执行来生成SRM。

主权项：1.一种方法，包括：接收包括多个电路块的电路设计；由处理器将所述电路块中的一个或多个电路块确定为模型化电路块；将模型化电路块的子集标识为简化缩减模型SRM电路块；生成用于所述SRM电路块的简化缩减模型，其中SRM电路块的简化缩减模型包括用于所述电路设计的静态验证的、所述SRM电路块的部件的第一子集的电路细节，并且排除所述SRM电路块的部件的第二子集；以及使用所述模型化电路块的所述简化缩减模型来实施所述电路设计的静态验证。

全文数据：

权利要求：

百度查询： 美商新思科技有限公司 用于电路设计的静态验证的自动设计层次标识和简化缩减模型生成

免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。

阅读全文 双屏查看 官方信息 专利公告 收藏专利 下载PDF 下载WORD