read_verilog ../common/lutram.v
hierarchy -top lutram_1w1r
synth_nanoxplore
cd lutram_1w1r
select -assert-count 1 t:NX_RFB_U
select -assert-count 8 t:NX_DFF
select -assert-none t:NX_RFB_U t:NX_DFF %% t:* %D
