Searching in verilog/dv/boot_embed