申请/专利权人:扬智科技股份有限公司
申请日:2018-07-23
公开(公告)日:2023-08-08
公开(公告)号:CN110750956B
主分类号:G06F30/398
分类号:G06F30/398
优先权:
专利状态码:有效-授权
法律状态:2023.08.08#授权;2020.02.28#实质审查的生效;2020.02.04#公开
摘要:本发明提出一种逻辑闸阶层验证方法以及验证系统。逻辑闸阶层验证方法包括:依据时序约束设定取得在逻辑闸阶层模型中的多个未经约束路径;对所述多个未经约束路径执行延迟时间设定;以及对逻辑闸阶层模型执行逻辑闸阶层模拟,以判断所述多个未经约束路径的至少其中之一是否为对应于真实路径。因此,本发明的逻辑闸阶层验证方法以及验证系统可有效验证逻辑闸阶层模型。
主权项:1.一种逻辑闸阶层验证方法,其特征在于,包括:依据时序约束设定取得在逻辑闸阶层模型中的多个未经约束路径;对所述多个未经约束路径执行延迟时间设定;以及对所述逻辑闸阶层模型执行逻辑闸阶层模拟,以判断所述多个未经约束路径的至少其中之一是否为对应于真实路径,当判断所述多个未经约束路径的所述至少其中之一为对应于所述真实路径时,重新定义所述时序约束设定;以及依据经重新定义的所述时序约束设定来取得多个新的未经约束路径的多个新的端点,其中对所述多个未经约束路径执行所述延迟时间设定的步骤包括:取得在所述逻辑闸阶层模型中对应于所述多个未经约束路径的多个端点;以及分析所述多个端点,以取得对应于所述多个未经约束路径的多个经选择的端点。
全文数据:
权利要求:
百度查询: 扬智科技股份有限公司 逻辑闸阶层验证方法以及验证系统
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息,力求客观、公正,但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解,仅供参考使用,不能作为本公司承担任何法律责任的依据或者凭证。