一种基于Undef_SAT的电路输入敏感性分析方法

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