合成迴路設計是系統生物學的「工程面」——將 network motif 的設計原則轉化為可實作的基因元件組合，並以定量建模指導設計。
自動化設計：Cello 與 Genetic Design Automation (GDA)
Cello（Nielsen et al., Science, 2016）實現從邏輯規格到 DNA 序列的全自動設計：
- 輸入：真值表（Boolean specification）
- Verilog-like HDL 描述 → logic synthesis（Espresso algorithm 最小化）
- Technology mapping：將邏輯閘映射到可用的遺傳元件庫（每個 NOT/NOR gate 有 characterized transfer function）
- Circuit assembly：考慮 genetic context effects（insulator 設計、terminator efficiency）
- 輸出：SBOL 格式的完整 DNA 設計
Cello 在大腸桿菌中實現 60 個 4-input 邏輯功能中的 52 個正確運作（~87% success rate）。
量化迴路行為的數學框架
Transfer function 建模：每個 NOT/NOR gate 的輸入-輸出關係用 Hill function 描述：
y = y_min + (y_max − y_min) · K^n / (K^n + x^n)
組合多個 gate 時，上一層的 output = 下一層的 input。系統的總 transfer function 為各層的 function composition。
Noise propagation 在 cascaded gates 中累積。Analytical noise propagation：
η²_output ≈ η²_intrinsic + (gain)² · η²_input
Gain = |dy/dx · x/y|。High gain regions（Hill function 的中間段）放大噪音；低/高飽和區壓縮噪音。
Insulation & Context Engineering
- Genetic Insulator：雙終止子 + ribozyme-based 5'UTR 自切割（如 CLoNE; Mutalik et al., Nat Chem Biol, 2013）消除上下游基因的 transcriptional/translational coupling。
- Orthogonal RNA Polymerase：T7 RNAP 變體（split T7, T7-RNAP directed evolution）只辨識特定啟動子，避免與宿主 RNAP 的 crosstalk。
- Cell-free TX-TL system：在體外無細胞系統中快速原型迴路（Shin & Noireaux, ACS Synth Biol, 2012），避免宿主效應。
進階迴路：Beyond Boolean
- Analog Computation：log-domain 生化計算（Daniel et al., Nat Biotechnol, 2013）利用酵素動力學實現加法、乘法運算。
- Recording Circuits：CRISPR-based cellular recorder（CAMERA; Tang & Liu, Science, 2018）將環境信號轉換為 DNA 序列變化，長期記錄在基因組中。
- Cell-Cell Communication：quorum sensing-based 迴路（如 LuxI/LuxR）實現多細胞協調、pattern formation（Basu et al., Nature, 2005 的 band-detect circuit）。
文獻：Gardner et al. (2000) Nature 403:339-342 / Elowitz & Leibler (2000) Nature 403:335-338 / Nielsen et al. (2016) Science 352:aac7341.