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