铠侠股份有限公司坂本敏行获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉铠侠股份有限公司申请的专利逻辑模拟验证系统、逻辑模拟验证方法以及程序获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN114266209B 。
龙图腾网通过国家知识产权局官网在2025-07-22发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202110219898.1，技术领域涉及：G06F30/327；该发明授权逻辑模拟验证系统、逻辑模拟验证方法以及程序是由坂本敏行设计研发完成，并于2021-02-26向国家知识产权局提交的专利申请。
本逻辑模拟验证系统、逻辑模拟验证方法以及程序在说明书摘要公布了：本发明涉及逻辑模拟验证系统、方法及程序。在短时间对每个逻辑模拟器提供相同的逻辑模拟结果。逻辑模拟验证系统对于成为信号的变化的基准信号验证在库、电路描述以及测试平台中描述的信号的变化，具备：变化定时指定部，指定基准信号和基准信号的变化信息；变化可能性时间计算部，求出存在向变量代入的第一信号发生变化的可能性的第一时刻；参照可能性时间计算部，求出变量被参照的第二信号存在被参照的可能性的第二时刻；变化可能性时间判定部，将不同的电路间的第一信号相同的第一时刻比较来判断第一时刻是否一致；以及变化及参照可能性时间判定部，判断是否不同的电路间的一方的第一信号与另一方的第二信号相同且第一时刻与第二时刻一致。
本发明授权逻辑模拟验证系统、逻辑模拟验证方法以及程序在权利要求书中公布了：1.一种逻辑模拟验证系统，在用HDL语言描述的第一数据内验证针对基准信号与所述基准信号的变化而第一信号变化以及第二信号被参照的可能性，其特征在于，具备： 变化定时指定部，指定所述基准信号和所述基准信号的变化信息； 变化可能性时间计算部，求出针对所述基准信号与所述基准信号的变化而存在所述第一信号发生变化的可能性的第一时刻； 参照可能性时间计算部，求出针对所述基准信号与所述基准信号的变化而存在所述第二信号被参照的可能性的第二时刻； 变化可能性时间判定部，判断不同的电路间的所述第一信号是否相同、并且比较所述不同的电路间的所述第一时刻并判断是否一致；以及 变化及参照可能性时间判定部，判断所述不同的电路间的一方的所述第一信号与另一方的所述第二信号是否相同、以及所述第一时刻与所述第二时刻是否一致。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人铠侠股份有限公司，其通讯地址为：日本东京；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号