Searching in verilog/dv/peripheralsUART