Searching in verilog/dv/adder_test2