Searching in verilog/tools/syntax/export_json_examples