Searching in verilog/dv/user_sram_exec