tests/lut/check_map.ys - third_party/yosys - Git at Google

 simplemap
 equiv_opt -assert techmap -map +/gate2lut.v -D LUT_WIDTH=4
 design -load postopt
 select -assert-count 1 t:$lut
	simplemap
	equiv_opt -assert techmap -map +/gate2lut.v -D LUT_WIDTH=4
	design -load postopt
	select -assert-count 1 t:$lut