组合逻辑环能够减少电路逻辑资源，降低电路功耗，但是其难以被静态时序分析工具分析和计算，且难以生成功能验证向量和自动测试图形向量针对此问题，提出一种组合逻辑环转化方法，以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题不同于采用三值仿真策略的现有文献，引入了布尔可满足引擎对组合逻辑环电路进行了表征，使用静态逻辑蕴涵完成了环形电路的拆分同时，根据环形电路的形成机理，提出了拆分组合逻辑环结构的规则，用于冗余向量优化以及非环电路的逻辑推理实验结果表明，这种算法能够正确地拆分组合逻辑环结构，且转化
