西门子工业软件有限公司S·比什特获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉西门子工业软件有限公司申请的专利动态CDC验证方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116157799B 。
龙图腾网通过国家知识产权局官网在2025-10-28发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202080103641.3，技术领域涉及：G06F30/3312；该发明授权动态CDC验证方法是由S·比什特;A·哈里;S·K·卡雷;K·塔卡拉设计研发完成，并于2020-08-31向国家知识产权局提交的专利申请。
本动态CDC验证方法在说明书摘要公布了：本发明公开了一种在寄存器传输级RTL设计中动态地验证跨时钟域CDC路径的计算机实现的方法。除了静态分析、形式分析和仿真步骤之外，每个CDC路径还分配了永久唯一标识符。这使得能够使用该永久唯一标识符来更新集中式的结果数据库，以便标记相关联的CDC协议断言、功能覆盖率和形式分析结果和仿真结果。此外，在仿真分析之前，关闭在形式分析期间已经证实的CDC协议断言，使得仅对未证实的CDC协议断言执行仿真运行。
本发明授权动态CDC验证方法在权利要求书中公布了：1.一种在寄存器传输级RTL设计中动态地验证跨时钟域CDC路径的计算机实现的方法，所述方法包括： 从CDC静态分析数据库中提取关于CDC路径中结构的存在以及任何相关联的CDC协议断言和功能覆盖率的信息； 将所述CDC协议断言和所述功能覆盖率捆绑至捆绑文件中的所述RTL设计； 从所述RTL设计生成形式分析文件和仿真设置文件，生成从所述CDC静态分析数据库提取的用于CDC路径的设置和约束数据，并使用所生成的所述形式分析和仿真设置文件来编译所述捆绑文件； 运行所述RTL设计的形式分析，以便确定经证实的和未证实的CDC协议断言； 更新所述仿真设置文件，以便关闭经证实的CDC协议断言； 使用所述未证实的协议断言和功能覆盖率来运行所述RTL设计的仿真； 使用所述RTL设计的形式分析结果和仿真结果来更新集中式结果数据库；以及 生成所述形式分析结果和仿真结果的可视化，以用于审阅和调试中的至少一项； 其中，为每个CDC路径分配永久唯一标识符，并且其中，使用所述永久唯一标识符来更新所述集中式结果数据库，以便标记相关联的CDC协议断言、功能覆盖率以及形式分析结果和仿真结果。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西门子工业软件有限公司，其通讯地址为：美国得克萨斯州；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励