英诺达(成都)电子科技有限公司徐浩丰获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉英诺达(成都)电子科技有限公司申请的专利逻辑冗余检测方法、电子设备及存储介质获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN120975035B 。
龙图腾网通过国家知识产权局官网在2025-12-23发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511495609.5，技术领域涉及：G06F30/398；该发明授权逻辑冗余检测方法、电子设备及存储介质是由徐浩丰设计研发完成，并于2025-10-20向国家知识产权局提交的专利申请。
本逻辑冗余检测方法、电子设备及存储介质在说明书摘要公布了：本发明属于电子设计自动化技术领域，并提出了逻辑冗余检测方法、电子设备及存储介质，该方法包括：获取待检测的电路设计，设置电路设计的检测起点和检测终点，并创建检测起点对应的记号和极性；从检测起点开始，沿信号传播方向对电路设计进行遍历，并在遍历的过程中将记号和极性在电路设计中进行传播，其中，对于电路设计的当前实例，在当前实例的输入引脚不是检测终点的情况下，将当前实例的功能表达式中输入引脚对应的变量，替换为输入引脚对应的记号或常值；将替换后的功能表达式进行逻辑化简，在化简结果为常值的情况下，检测到当前实例处存在逻辑冗余。本发明能够快速高效地检测到电路设计中的逻辑冗余部分，并明确其发生的源头。
本发明授权逻辑冗余检测方法、电子设备及存储介质在权利要求书中公布了：1.一种逻辑冗余检测方法，其特征在于，包括： 获取待检测的电路设计，设置所述电路设计的检测起点和检测终点，并创建所述检测起点对应的记号和极性，其中，所述记号用于表示信号的源头信息，所述极性用于表示信号的翻转信息； 从所述检测起点开始，沿信号传播方向对所述电路设计进行遍历，并在遍历的过程中将记号和极性在所述电路设计中进行传播，其中， 对于所述电路设计的当前实例，在所述当前实例的输入引脚不是所述检测终点的情况下，将所述当前实例的功能表达式中输入引脚对应的变量，替换为输入引脚对应的记号或常值，其中，在任一输入引脚对应的极性指示信号已发生翻转的情况下，将所述任一输入引脚对应的记号加上逻辑非运算符之后再进行替换； 将替换后的功能表达式进行逻辑化简，在化简结果为常值的情况下，检测到所述当前实例处存在逻辑冗余。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人英诺达(成都)电子科技有限公司，其通讯地址为：610000 四川省成都市高新区和乐二街171号B6栋2单元18层；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由龙图腾AI智能生成。
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号
请提出您的宝贵建议，有机会获取IP积分或其他奖励