铠侠股份有限公司小岛洋平获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉铠侠股份有限公司申请的专利集成电路验证装置、集成电路验证方法及非临时计算机可读介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN115509829B 。
龙图腾网通过国家知识产权局官网在2026-03-27发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202210176660.X，技术领域涉及：G06F11/22；该发明授权集成电路验证装置、集成电路验证方法及非临时计算机可读介质是由小岛洋平设计研发完成，并于2022-02-25向国家知识产权局提交的专利申请。
本集成电路验证装置、集成电路验证方法及非临时计算机可读介质在说明书摘要公布了：本申请涉及一种集成电路验证装置、集成电路验证方法及非临时计算机可读介质。实施方式的集成电路验证装置具备：条件属性信息产生部，根据设计数据文件的代码列表的条件语句，产生具有限制电路动作或输入信号的信息的多个条件属性；排除代码产生部，根据代码列表，产生经证明为未静态覆盖的排除代码、及应用了多个条件属性的第1排除代码列表；以及排除代码比较部，根据排除代码与第1排除代码的差量，产生第2排除代码列表。
本发明授权集成电路验证装置、集成电路验证方法及非临时计算机可读介质在权利要求书中公布了：1.一种集成电路验证装置，具备： 条件属性信息产生部，根据设计数据文件的代码列表的条件语句，产生具有限制电路动作或输入信号的信息的多个条件属性； 排除代码产生部，根据所述代码列表，产生经证明为未静态覆盖的排除代码、及应用了所述多个条件属性的第1排除代码列表；以及 排除代码比较部，根据所述排除代码与所述第1排除代码列表的差量而产生第2排除代码列表； 所述排除代码比较部， 判断所述第2排除代码列表的未覆盖代码的至少一部分相同的所述多个条件属性中是否存在第1条件属性及第2条件属性， 当存在所述第1条件属性及所述第2条件属性时，提取所述第1条件属性及所述第2条件属性中包含最接近输入的信号的条件属性。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人铠侠股份有限公司，其通讯地址为：日本东京；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励