Searching in verilog/dv/decoder_test