Searching in verilog/tools/obfuscator