关于数字下变频的一点思考

问题一：接收信号初相不知道，有这个初相怎么还能实现下变频？
设含有初相的接收信号$\mathrm{s}=\cos (w_{i}t+\varphi )$,
本地生成信号为${\mathrm{s}}_{local}=\cos (w_{c}t)$，一般取个两倍
下变频为二者相乘再取低通，为$\begin{array}{l}{\mathrm{s}}_0=\cos (w_{i}t+\varphi )\times 2\cos (w_{c}t)\\ =\cos \left[(w_i-w_c)t+\varphi \right]+\cos \left[(w_i+w_c)t+\varphi \right]\\ \to \cos \left[(w_i-w_c)t+\varphi \right]\end{array}$。
可以看到初相还是那个初相，不影响。
问题二：GPS接收机中的下变频结果为何是两频率相加了？

///
//复乘操作//
//(Iin+i*Qin)*(NCOcos+i*NCOsin)=(IinxNCOcos-QinxNCOsin)+i*(IinxNCOsin+QinxNCOcos)//
///

MULT8x9  IinxNCOcos(.clken(clken),.clock(clock),.dataa(Iin),.datab(NCOcos),.result(IinxNCOcos_result));
MULT8x9  QinxNCOsin(.clken(clken),.clock(clock),.dataa(Qin),.datab(NCOsin),.result(QinxNCOsin_result));
MULT8x9  IinxNCOsin(.clken(clken),.clock(clock),.dataa(Iin),.datab(NCOsin),.result(IinxNCOsin_result));
MULT8x9  QinxNCOcos(.clken(clken),.clock(clock),.dataa(Qin),.datab(NCOcos),.result(QinxNCOcos_result));
ADD_SUB_17BIT  SUB_17BIT(.add_sub(1'b0),.clken(clken),.clock(clock),.dataa(IinxNCOcos_result),.datab(QinxNCOsin_result),.result(IOUT_BUF));
ADD_SUB_17BIT  ADD_17BIT(.add_sub(1'b1),.clken(clken),.clock(clock),.dataa(IinxNCOsin_result),.datab(QinxNCOcos_result),.result(QOUT_BUF));

assign	IOUT=IOUT_BUF[PCDDC_WIDTH-1:PCDDC_WIDTH-IQ_WIDTH];
assign	QOUT=QOUT_BUF[PCDDC_WIDTH-1:PCDDC_WIDTH-IQ_WIDTH];

//复乘操作//
//(Iin+iQin)(NCOcos+iNCOsin)=(IinxNCOcos-QinxNCOsin)+i(IinxNCOsin+QinxNCOcos)//
我猜是前端射频处从1575.42M变频到0.42M时的数学操作造成测，具体分析如下：
射频前端下变频模块为AD8347。AD8347输入信号为前端模拟信号和本地频综模块SI4133生成的本地1575M信号。
因为GPSCA码信号只在I支路上（即载波为cos),所以设射频接收信号为${\mathrm{s}}_{in}=\cos (w_{1575.42}t)$,
本地I支路信号为${\mathrm{s}}_{local}=\cos (w_{1575}t)$,二者相乘再取低通得${\mathrm{s}}_{out}=\cos (w_{0.42}t)$,
本地Q支路信号为${\mathrm{s}}_{local}=\sin (w_{1575}t)$,二者相乘再取低通得${\mathrm{s}}_{out}=-\sin (w_{0.42}t)$,用的是积化和差公式
所以基带输入信号指数形式为$e^{-j0.42t}$。然后再下变频就是二者相加了。
如果AD8347中本地信号Q支路为正的sin信号，那么就是板子引脚接的时候差分反接了，就只能这种解释了。
扩充：FPGA数字下变频时，