if { [info exists flags_map(-lec)] && [file exists $::env(PREV_NETLIST)] } {. logic_equiv_check -rhs $::env(PREV_NETLIST) -lhs $::env(CURRENT_NETLIST). }.
確定! 回上一頁