买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网获悉宁波大学申请的专利一种基于Undef_SAT的电路输入敏感性分析方法获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN121351723B 。

龙图腾网通过国家知识产权局官网在2026-03-17发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202511893065.8，技术领域涉及：G06F30/327；该发明授权一种基于Undef_SAT的电路输入敏感性分析方法是由储著飞;陈雨林;徐俊杰;余婧宁;夏银水;王伦耀设计研发完成，并于2025-12-16向国家知识产权局提交的专利申请。

本一种基于Undef_SAT的电路输入敏感性分析方法在说明书摘要公布了：本发明公开了一种基于Undef_SAT的电路输入敏感性分析方法，包括网表解析与输入划分、两组CNF子句构建、S集赋值与初次求解、首组解增量SAT处理与终止与结果输出五个步骤。该方法利用增量SAT处理方式逐步确定L集的输入变量的最终赋值，有效避免全空间搜索，显著缩小搜索空间，提高解析与判定效率。该方法通过构建支持无关项传播的两组CNF子句，利用Undef_SAT求解器直接处理S集的无关项输入变量，减少逻辑传播次数，从而减少了运算时间。该方法形成的电路输入敏感性分析的一体化流程，适配主流EDA工具链，具有良好的工程适用性，适用于逻辑综合阶段及形式验证、功能等价性检查和环路振荡检测等不同场景。

本发明授权一种基于Undef_SAT的电路输入敏感性分析方法在权利要求书中公布了：1.一种基于Undef_SAT的电路输入敏感性分析方法，其特征在于，包括以下步骤： S1、网表解析与输入划分：读取包含待分析电路信息的Verilog网表，转换为与非图AIG并进行逻辑优化，且将电路的输入划分为三个集合，即L集、S集和X集，将电路的输出信号定义为D集； S2、两组CNF子句构建：在优化后的AIG网络基础上构建两组子句，即一组标准SAT传播子句和一组undef判定子句； S3、S集赋值与初次求解：将S集中所有输入变量赋值为undef，将D集中某一个输出信号Di赋值为def，调用Undef_SAT求解器进行求解，若求解结果为sat，则得到包含L集和X集的具体赋值的首组解； S4、首组解增量SAT处理：遍历首组解的X集中的确定值变量，逐一试探将其改为undef状态，并依据SAT结果决定是否保留； S5、终止与结果输出：当首组解的X集中所有输入变量均被处理后，得到Di对应L集的最终赋值，在该赋值下，S集中所有输入变量与Di无关；迭代循环步骤S3~S5，直至D集中所有输出信号处理完成。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人宁波大学，其通讯地址为：315211 浙江省宁波市江北区风华路818号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。

以上内容由龙图腾AI智能生成。