Searching in verilog/dv/risc_boot