Searching in verilog/dv/user_cache_bypass