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
45 hierarchy -top mux_if_unbal_5_3_width_mismatch
51 select -assert-count 2 t:$pmux
53 design -import gold -as gold
54 design -import gate -as gate
55 miter -equiv -flatten -make_assert -make_outputs gold gate miter
56 sat -verify -prove-asserts -show-ports miter
59 hierarchy -top mux_if_unbal_4_1_missing
65 select -assert-count 1 t:$pmux
67 design -import gold -as gold
68 design -import gate -as gate
69 miter -equiv -flatten -make_assert -make_outputs gold gate miter
70 sat -verify -prove-asserts -show-ports miter
73 hierarchy -top mux_if_unbal_5_3_order
79 select -assert-count 1 t:$pmux
81 design -import gold -as gold
82 design -import gate -as gate
83 miter -equiv -flatten -make_assert -make_outputs gold gate miter
84 sat -verify -prove-asserts -show-ports miter