Searching in ngspice/digital_pll