[发明专利]一种组合逻辑环路的自动拆除方法

权利要求书

1.一种组合逻辑环路的自动拆除方法，其特征在于，包括以下步骤：

S10，采用递归方式，搜索网表中的组合逻辑环路；

S20，针对已搜索到的组合逻辑环路中的一个组合逻辑门，生成其输入组合逻辑锥；

S30，由输出向输入方向，遍历生成的输入组合逻辑锥，基于锥内每个组合逻辑门的自身逻辑特性，生成组合逻辑锥输出与输入之间关系的逻辑表达式；

S40，对逻辑表达式进行卡诺化简；

S50，对组合逻辑环路中的每一个组合逻辑门，重复S20-40直至拆除组合逻辑环路；

所述采用递归方式，搜索网表中的组合逻辑环路包括以下步骤：

S11，起始点为网表输入端、触发器输出端和锁存器输出端；

S12，结束点为网表输出端、触发器输入端和锁存器输入端；

S13，选择一个起始点出发开始搜索；

S14，得到该点的所有负载器件；

S15，选择一个负载器件，将其记入当前搜索列表，得到其所有输出；

S16，选择一个输出，重复S14-16，直至到达结束点，或者S15时发现该负载器件已经存在于搜索列表中；

S17，根据搜索列表，搜索当前器件下一个输出，或退回上一个负载器件，或搜索下一个起始点，直至完成整个网表的搜索；

所述针对已搜索到的组合逻辑环路中的一个组合逻辑门，生成其输入组合逻辑锥包括以下步骤：

S21，将一组合逻辑门加入组合逻辑锥，并得到其所有输入；

S22，选择一个输入，判断其所有负载是否在组合逻辑锥内；

S23，是，且此输入的驱动器件为组合逻辑门，则将其加入组合逻辑锥；

S24，否，则暂时保存该输入，在其后的搜索中若能将其所有负载加入组合逻辑锥，仍将此输入的驱动器件加入组合逻辑锥；

S25，继续搜索下一个输入；若有新的驱动器件被加入组合逻辑锥，则继续遍历其所有输入，直至无法加入更多器件；

所述对逻辑表达式进行卡诺化简包括以下步骤：

S41，分析化简后的逻辑表达式，查找是否存在组合逻辑锥的输入不在表达式右端；

S42，是，则将该输入从组合逻辑锥内的器件输入端删除，用固定电平0或1来替代；

S43，根据组合逻辑门的自身逻辑特性，基于固定输入电平进行器件的化简；

S44，若删除的输入或器件是属于组合逻辑环路的路径，则组合逻辑环路便已被拆除。