3 hierarchy -top mux_if_unbal_4_1
9 select -assert-count 1 t:$pmux
11 design -import gold -as gold
12 design -import gate -as gate
13 miter -equiv -flatten -make_assert -make_outputs gold gate miter
14 sat -verify -prove-asserts -show-ports miter
17 hierarchy -top mux_if_unbal_5_3
23 select -assert-count 1 t:$pmux
25 design -import gold -as gold
26 design -import gate -as gate
27 miter -equiv -flatten -make_assert -make_outputs gold gate miter
28 sat -verify -prove-asserts -show-ports miter
31 hierarchy -top mux_if_unbal_5_3_invert
37 select -assert-count 1 t:$pmux
39 design -import gold -as gold
40 design -import gate -as gate
41 miter -equiv -flatten -make_assert -make_outputs gold gate miter
42 sat -verify -prove-asserts -show-ports miter