formality check rtl2netlist 时候可能会出现stuck at verify 阶段，这种形况是rtl 中的一些code 很复杂， formality 不能解读。这时有两种解