Searching in verilog/dv/string_led_controller