read_verilog port_sign_extend.v
hierarchy
flatten
equiv_make ref act equiv
equiv_simple
equiv_status -assert

delete

read_verilog port_sign_extend.v
flatten
equiv_make ref act equiv
equiv_simple
equiv_status -assert

delete

read_verilog port_sign_extend.v
hierarchy
equiv_make ref act equiv
prep -flatten -top equiv
equiv_status -assert