当en信号 tie0时，如果设置csv_enable设置为en， 因为1有效才是enable,但是RTL将是固接为0， 这时候会报vacuous问题。

当en信号 tie1时，如果设置csv_enable设置为~en， 因为0有效才是enable,但是RTL将是固接为1， 这时候会报vacuous问题。