read_verilog -sv logic_rom.sv prep -top top select -assert-count 1 t:$mem_v2 r:SIZE=16 %i r:WIDTH=8 %i