公式推導索引 Equation Index
本頁由
scripts/build_equation_index.py從extracted/extracted_equations.json自動產生。 標記 ⚠️ 者表示 確切常數/形式仍需人工對照 PDF 確認。
| # | Concept | Final Formula | 推導頁 Derivation | 來源 Source | Notes |
|---|---|---|---|---|---|
| 1 | impulse charge | impulse_to_phase_shift | paper_001 (general.pdf), around Eq. (9), p.182 | step | |
| 2 | charge to voltage step | impulse_to_phase_shift | paper_001, Eq. (9), p.182 | step | |
| 3 | impulse-to-phase (ISF definition in operational form) | impulse_to_phase_shift | paper_001, from Eq. (10)-(11), p.182 | final | |
| 4 | excess-phase impulse response (LTV) | isf_definition | paper_001, Eq. (10), p.182 | final | |
| 5 | LTV phase response (convolution) | convolution_derivation | paper_001, Eq. (11), p.182 | final | |
| 6 | ISF Fourier series | fourier_series_of_isf | paper_001, Eq. (12), p.183 | final | |
| 7 | rms ISF (Parseval) | rms_isf | paper_001, Eq. (20), p.185 | final | |
| 8 | white noise phase noise (1/f^2) | white_noise_to_phase_noise | paper_001, Eq. (21), p.185 | final | |
| 9 | flicker noise upconversion (1/f^3) | flicker_noise_upconversion | paper_001, Eq. (23), p.185 | final | |
| 10 | 1/f^3 corner | flicker_noise_upconversion | paper_001, Eq. (24), p.185 | final | |
| 11 | SSB phase noise vs phase PSD | psd_phase_noise_jitter | standard small-angle relation; consistent with paper_001 usage | final | |
| 12 | phase error to timing error | psd_phase_noise_jitter | standard; used throughout paper_002 and SerDes practice | final | |
| 13 | phase variance from PSD | psd_phase_noise_jitter | standard | final | |
| 14 | rms jitter from phase variance | serdes_clocking_connection | standard; SerDes clocking | final | |
| 15 | accumulated (ring) jitter random walk | lab_03_ring_oscillator_toy_model | paper_002, Eq. (8), p.792 (kappa via Eq.(12), p.793) | final | |
| 16 | ring frequency vs stages | lc_vs_ring | paper_002, Eq. (14), p.794 | final | |
| 17 | ring rms ISF scaling | ( 時 ,即 [P2] Fig.8 的實線;根號只含常數) | lc_vs_ring | [P2] Eq.(16), p.794(v7 已重核:根號只蓋常數,;正文 @ 與 App.B Eq.(55) 三重驗證。v3 曾誤讀為 ) | final (verified) |
| 18 | ring phase noise FOM (white) | lc_vs_ring | paper_002, Eq. (23),(25), p.796。前置係數為 ( 為級延遲比例常數 Eq.14,); 僅透過 進入。(v2 曾誤改為 並誤標「逐字核實」,v3 已對照 原始 PDF p.796 更正。) | final (verified) | |
| 19 | Leeson model (comparison only) | equation_index | Leeson (1966), Proc. IEEE 54(2):329-330, DOI 10.1109/PROC.1966.4682 (citation verified; external, not in the 5 PDFs). Discussed in paper_001 intro. | reference | |
| 20 | generalized Adler / phase equation (injection) | paper_003_injection_locking_part1 | paper_003 (Hong Part I 2019): Eq.(26);時間平均之廣義 Adler 方程 Eq.(30), p.2113(原文平均項取 + 號,平均週期 );鎖定範圍 Eq.(35), p.2114。本站 與差頻 同號相加,符號慣例與 [P3] 一致。 | final (verified) | |
| 21 | amplitude perturbation function (APF) | paper_004_injection_locking_part2 | paper_004 (Hong Part II 2019), Eq.(25),(26),(27), p.2128 (verified verbatim) | final (verified) | |
| 22 | PPV / adjoint (broader literature, NOT in the 5 PDFs) | effective_isf | Demir-Mehrotra-Roychowdhury (2000), IEEE TCAS-I 47(5):655-674, DOI 10.1109/81.847872 (citation verified; external, not in the 5 PDFs). | reference | |
| 23 | ring kappa (jitter rate) | lab_03_ring_oscillator_toy_model | paper_002, Eq. (12), p.793 (verified verbatim) | final (verified) | |
| 24 | ring per-stage device noise | device_noise_mapping | paper_002, Eq. (17),(18), p.795 (verified verbatim) | final (verified) | |
| 25 | Lorentzian carrier lineshape | lorentzian_linewidth | phase random walk -> exponential carrier autocorrelation -> Lorentzian; resolves 1/f^2 divergence at Df->0. ISF map corrected v5 (was /(2q^2); MC-adjudicated, lab_23). Background: Demir 2000 [E2]. | final (verified) | |
| 26 | Allan variance from PSD | allan_variance | white/flicker/RW FM -> sigma_y ~ tau^-0.5, tau^0, tau^0.5. External: Allan 1966 [E1-ext]. | final | |
| 27 | PLL output phase-noise budget | pll_noise_budget | sum of all PLL noise sources shaped by their transfer; optimal loop BW minimizes integrated jitter. | final | |
| 28 | ISF as harmonic transfer vector (HTM) | ltv_htm | rigorous LTV / harmonic transfer matrix view; ISF is the phase output's HTM row. External: Zadeh 1950 [E5]. | reference |
v5–v8 新增公式(jitter 核、擴散字典、非對稱閉式、[P3]/[P4] 進階、ring 相關雜訊)
本節整合 v5–v8 開發波次新增的 headline 公式;欄位與上方主表一致,另加「站內出處」標明教學頁內的推導章節。每條逐字讀自對應教學頁(不重新推導),教學頁本身已對照論文 PDF 核實。
| # | Concept | Final Formula | 推導頁 Derivation | 來源 Source | 站內出處 | Notes |
|---|---|---|---|---|---|---|
| 29 | timing error = sampled phase (TIE kernel) | jitter_kernels | 本站推導;與 paper_002 Eq.(46)–(49), p.803(Khinchin 路線)同構 | 第 3 步「核 (a):TIE」 | final | |
| 30 | N-period jitter kernel | jitter_kernels | 本站推導;核與 paper_002 Eq.(49), p.803(單邊 ,經雙邊換算逐字核實)等價 | 第 3 步「核 (b):N-period」 | final (verified) | |
| 31 | cycle-to-cycle jitter kernel | jitter_kernels | 本站推導;paper_002 Eq.(51), p.803(cycle-to-cycle,本站區分兩種定義) | 第 3 步「核 (c):cycle-to-cycle」 | final (verified) | |
| 32 | white-FM closed form (核積分 = [P2] 隨機漫步) | jitter_kernels | paper_002, Eq.(8)/(11)/(12), p.792–793(已核實);本站頻域核積分精確回收 | 第 4 步「白噪 FM 封閉式」 | final (verified) | |
| 33 | [P2] Eq.(45)–(51), p.803(jitter ← phase spectrum,自相關/Khinchin) | (雙邊,Eq.48);(Eq.49);(Eq.50) | jitter_kernels | paper_002, Eq.(45)–(51), p.803(v5 逐字核實,見「與哪些 paper/公式對應」節) | 「與哪些 paper/公式對應」節 | final (verified) |
| 34 | diffusion dictionary 主角 ([P2] Eq.11) | (canonical ) | diffusion_dictionary | paper_002, Eq.(11), p.793(逐字核實) | 第 0 步「主角只有一個」 | final (verified) |
| 35 | (慣例乙,本站規範採用) | (canonical ) | diffusion_dictionary | 對應 Demir 2000 慣例(外部文獻);v5 修正(v3 曾誤用慣例甲之值 ) | 「衣服二:D」節 | final (verified) |
| 36 | Lorentzian FWHM (=D/π,v5 映射) | (canonical mHz;真 LC mHz) | diffusion_dictionary | 衍生自 paper_002 Eq.(11) 的 ;外部文獻 Demir 2000 [E2](Lorentzian 機制) | 「衣服三:Lorentzian 3-dB 線寬」節 | final (verified) |
| 37 | :1/f² phase PSD 係數 | (canonical ) | diffusion_dictionary | 與 paper_001 Eq.(21), p.185( 版)、white_noise_to_phase_noise 時域推導一致 | 「衣服四:1/f² phase PSD 係數」節 | final (verified) |
| 38 | App.B 閉式(非對稱三角 ISF) | ( 精確退化為 Eq.16) | asymmetric_isf_closed_form | paper_002, App. B, Eq.(52)–(55), p.803(v8 本次渲染逐字核實) | 第 1–3 步 | final (verified) |
| 39 | App.B 閉式(DC 值 / 來源) | asymmetric_isf_closed_form | paper_002, App. B, Eq.(56), p.803(v8 本次渲染逐字核實) | 第 4 步 | final (verified) | |
| 40 | App.B 1/f³ corner 閉式( 直接算) | ([P1] Eq.24 慣例值 本式) | asymmetric_isf_closed_form | paper_002, App. B, Eq.(57), p.803(v8 本次渲染逐字核實;對應主文 Eq.7, p.792) | 第 5 步 | final (verified) |
| 41 | [P1] Appendix Eq.(31) 切向投影 | isf_from_waveform | paper_001, Appendix, Eq.(31), p.192(逐字轉錄) | 方法 B 第 1 步 | final (verified) | |
| 42 | [P1] Appendix Eq.(32)–(33):位移→時間→相位 | (Eq.32);(Eq.33) | isf_from_waveform | paper_001, Appendix, Eq.(32)–(33), p.193(逐字轉錄) | 方法 B 第 2–3 步 | final (verified) |
| 43 | [P1] Appendix Eq.(34)–(36):節點電壓特例、closed-form ISF | (Eq.34);(Eq.36) | isf_from_waveform | paper_001, Appendix, Eq.(34)–(36), p.193(逐字轉錄) | 方法 B 第 4–5 步 | final (verified) |
| 44 | [P1] Appendix Eq.(37):二階系統 closed form() | isf_from_waveform | paper_001, Appendix, Eq.(37), p.193(逐字轉錄;正弦自我檢驗核實) | 方法 B 第 6 步 | final (verified) | |
| 45 | [P1] Appendix Eq.(38):一階導數近似(ring 專用) | isf_from_waveform | paper_001, Appendix, Eq.(38), p.193(逐字轉錄) | 方法 C | final (verified) | |
| 46 | [P3] Sec. IV 脈衝列 Eq.(19)–(21):kick 與頻移 | (Eq.19);(Eq.20–21) | paper_003_injection_locking_part1 | paper_003 (Hong Part I 2019), Sec. IV, Eq.(19)–(21), p.2112(已核實) | 「脈衝列鎖定」節 Step 1–2 | final (verified) |
| 47 | [P3] Eq.(22)–(23):能量平衡與脈衝列基波振幅 | (Eq.22);(Eq.23) | paper_003_injection_locking_part1 | paper_003, Sec. IV, Eq.(22)–(23), p.2112(已核實) | 「脈衝列鎖定」節 Step 4 | final (verified) |
| 48 | Lab 36 / [P3] Eq.(38)–(40):捕獲暫態、pull-in frequency | ([P3] Eq.40 的 );精確解 | lab_36_lock_acquisition | paper_003, Eq.(38)–(40), p.2115(已核實);本站精確閉式解為站內推導,與 [P4] Eq.(31)–(32) tanh 形式等價 | 2.1 節「Part (a) 捕獲暫態」 | final (verified) |
| 49 | Lab 36:傾斜搓衣板障壁與 Kramers slip 率(外部文獻) | ; | lab_36_lock_acquisition | 障壁為本站推導(自 );逃逸率為 Kramers 1940、Risken 1989 (外部文獻,非本站 5 篇 PDF) | 2.2 節「Part (b) 傾斜搓衣板」 | reference |
| 50 | [P3] Eq.(43)–(45):最佳注入波形與 lock range 上限(Cauchy–Schwarz) | (Eq.43);(Eq.44);(Eq.45) | injection_locking_noise | paper_003, Sec. VI, Eq.(43)–(45), pp.2119–2120(逐字核實) | 「注入波形設計」節 第 0–3 步 | final (verified) |
| 51 | [P4] Eq.(28)–(30):M:N 次諧波鎖定 lock characteristic | (Eq.28);(Eq.29);(Eq.30) | paper_004_injection_locking_part2 | paper_004 (Hong Part II 2019), Sec. IV, Eq.(28)–(30), p.2129(已核實) | 「M:N 次諧波鎖定與 ILFD」節 | final (verified) |
| 52 | [P4] p.2130:M:N lock range(÷N ILFD) | (半波對稱 不能 ÷2) | paper_004_injection_locking_part2 | paper_004, p.2130(原文逐字:"which can be calculated from (30) to be ",已核實) | 「M:N 次諧波鎖定與 ILFD」節 第 4 步 | final (verified) |
| 53 | ring 差動:功率/頻率/雜訊記帳([P2] Eq.31–33) | (Eq.31);(Eq.32);(Eq.33) | lc_vs_ring | paper_002, Sec. V-B, Eq.(31)–(33), p.796(逐字核實) | 第 2b 步 (a)(b)(d) | final (verified) |
| 54 | ring 差動:phase noise/jitter 下限(明含 )([P2] Eq.34–35) | (Eq.34);(Eq.35) | lc_vs_ring | paper_002, Sec. V-B, Eq.(34)–(35), p.796(逐字核實);固定 下與 single-ended 的 -independence(Eq.23)相反,phase noise 隨 惡化 | 第 2b 步 (e) | final (verified) |
| 55 | ring 相關供電/基板雜訊選擇律([P2] Eq.37–38) | (Eq.37);()或 (否則)(Eq.38) | lab_34_correlated_supply | paper_002, Sec. VI, Eq.(37)–(38), p.797(逐字轉錄;本站補齊有限幾何級數證明) | 第 2.1–2.2 節 | final (verified) |
| 56 | ADEV flicker-FM floor(本站自推前因子) | allan_variance | 本站從 ADEV 頻域積分核 自行推導;與 IEEE Std 1139 / NIST SP 1065 標準結果一致(外部文獻) | 「完整前因子表」節 | final (verified) | |
| 57 | PLL type-II peaking 閉式解 | ( 時峰值恰為黃金比例 ,即 dB) | pll_noise_budget | 本站對規範 10.2 的 自行代數求極值(自含推導); phase margin 對照與級聯 0.1 dB 法則屬標準控制/電信文獻(外部) | 「補充推導:peaking 的閉式解」節 | final (verified) |
| 58 | FOM 理論天花板 | fom_limit | 本站從 paper_001 Eq.(21) 與 paper_002 Eq.(23) 的萬用形 推導; dB 為 J/K、 K 之直接計算 | 第 0–1 步 | final (verified) | |
| 59 | SNR from aperture jitter(ADC,外部標準結果) | ; | adc_aperture_jitter | 資料轉換器標準教科書結果(外部文獻,非本站 5 篇 PDF);本站接回 主線 | 第 3 步「SNR:招牌公式」 | reference |
| 60 | TJ(BER) dual-Dirac 外插公式 | dj_dual_dirac | SerDes 業界標準模型(外部文獻,非本站 5 篇 PDF);本站逐步從 Q 函數尾巴積分推導 | 第 6 步「TJ(BER) 外插公式」 | reference | |
| 61 | ×N / ÷N 相位縮放規則 | 理想 :;理想 : | clock_chain_budget | 標準頻率合成結果(外部文獻);本站逐步從 或 與 推導 | 「規則 1」「規則 2」節 | final |
| 62 | 注入鎖定 OU 雜訊整形(一階 PLL)與鎖外拍頻 | (corner );鎖外 ([P4] Eq.34) | injection_locking_noise | corner 為 [P3] Eq.(40) 之 pull-in frequency 的原生結果;把雜訊掛上 Adler 讀出整形 PSD 為標準注入鎖定雜訊理論(外部文獻:Kurokawa 1973,非本站 5 篇 PDF); 為本站從 Adler 方程分離變數逐步積分導出,與 [P4] Eq.(34), p.2130 一致 | Part A 第 3 步;Part B 第 2 步 | final (verified) |
v9 新增公式(次諧波/大注入倍頻器)
本節整合次諧波注入(ILCM,injection-locked clock multiplier)與 [P4] 大注入剩料波次新增的 headline 公式;LaTeX 逐字取自對應教學頁,不重新推導。
| # | Concept | Final Formula | 推導頁 Derivation | 來源 Source | 站內出處 | Notes |
|---|---|---|---|---|---|---|
| 63 | 次諧波(×N)倍頻 lock range——由 [P4] Eq.(29) 推出的閉式 | subharmonic_injection | 本站從 [P4] Eq.(29), p.2129(已核實)代入 逐項平均推出;與 [P3] Sec. IV footnote 7(p.2112,已核實)的脈衝列算術逐項對帳 | 「路線一」第 3 步 | final (verified) | |
| 64 | realignment factor (一根脈衝拉回的比例) | (穩定 ;=[P3] Eq.(40) 的 pull-in frequency) | subharmonic_injection | 本站從線性化 per-pulse map 推出([P3] Sec. IV footnote 7 的離散算術延伸) | 第 3 節 | final (verified) |
| 65 | 一階離散時間迴路的雜訊 corner( 時 ) | ;精確離散閉式 | subharmonic_injection | 本站從 的 點求出;與 injection_locking_noise 的連續版 在 一致 | 第 4.2 節 | final (verified) |
| 66 | 輸出 jitter 閉式(時間平均相位方差) | (;MC 比值 0.999) | subharmonic_injection | 本站從線性化 map 的幾何級數 逐步推出; 為 [P2] Eq.(11), p.793(已核實)的方差成長率 | 第 4.3 節 | final (verified) |
| 67 | Generalized Adler(Mirzaei)與大注入 lock range([P4] Eq.(8)–(9)) | (Eq.8);(Eq.9) | paper_004_large_injection_transient | paper_004 (Hong Part II 2019), Sec. III-A, p.2123(逐字轉錄,已核實) | 第 1.1 節 | final (verified) |
| 68 | 反比於振幅的有效 ISF([P4] Eq.(13)) | paper_004_large_injection_transient | paper_004, Sec. III-C, p.2124(逐字轉錄,已核實) | 第 1.2 節 | final (verified) |
圖例
- final:該主題的最終結果公式。
- step:推導過程中的中間步驟。
- reference:作為對照/比較的外部模型(未必出自下載的 5 篇 PDF)。
- ⚠️:
manual_verification_needed = true,請對照原始 PDF 再確認。