Searching in verilog/rtl/jacaranda-8