Searching in verilog/analysis/checkers