3 hierarchy -top abc9_test027
11 design -import gold -as gold
12 design -import gate -as gate
14 miter -equiv -flatten -make_assert -make_outputs gold gate miter
15 sat -verify -prove-asserts -show-ports miter
18 hierarchy -top abc9_test028
22 select -assert-count 1 t:$lut r:LUT=2'b01 r:WIDTH=1 %i %i
23 select -assert-count 1 t:unknown
24 select -assert-none t:$lut t:unknown %% t: %D