Searching in verilog/rtl/gps_engine