Searching in verilog/dv/common/bfm