附錄 A.2 原始碼檔案索引#

每一列：路徑、行數（wc -l 的實際值）、一句話職責。 依 crate 分組。核心模組（本書 6.x 章深談的）標 ★。

veryl-sim/src（模擬器）#

veryl-eda/src（綜合核心）#

veryl-eda/src/asic（標準單元後端）#

veryl-eda/src/pnr（自家 iCE40 佈局繞線）#

veryl-eda/src/pdk（製程技術檔）#

veryl-eda/src/board（虛擬開發板）★#

veryl-eda/src/rv（RISC-V 工具鏈）★#

veryl-wasm/src（瀏覽器介面）#

web/src（前端 TypeScript）#

腳本與其他（非 .rs/.ts）#

| 總計 | | |

總計約 25,000 行（Rust + TS），其中 6.x 章深談的 模組（elab/netlist/ice40/bram/board/rv/pnr/chipdb/lib.rs+api.rs） 約佔一半。

閱讀路徑（依本書章節）#

想按圖索驥讀原始碼，建議順序：

flowchart LR
    A["1. netlist.rs<br/>資料結構"] --> B["2. elab.rs<br/>語法樹→閘"]
    B --> C["3. ice40.rs<br/>對映"]
    C --> D["4. pnr/mod.rs + pack/place/route<br/>佈局繞線"]
    D --> E["5. board/mod.rs<br/>引擎"]
    E --> F["6. board/bitstream.rs<br/>反解"]
    F --> G["7. rv/（cc→asm→iss）"]
    G --> H["8. veryl-wasm/src + web/src<br/>介面"]

• 先讀 netlist.rs 的型別（Cell/Port/Bit）—— 幾乎所有模組都以它為共同語言；
• elab.rs 很長，從 synthesize_stages 進去， 只追一個小例子（例如 blinky 的計數器）；
• board/mod.rs 的 Engine::propagate 是活動驅動的 全部祕密（一個函數）；
• rv/cc.rs 從 compile() 讀起（1600 行附近）， 它是最上層的編排。

依賴方向（模組間）#

rv/iss ←─ board/mod.rs（Cpu）      rv/cc ─→ rv/asm
board/mod.rs ─→ board/{bitstream, periph, icebreaker}
board/bitstream.rs ─→ pnr/chipdb.rs、pnr/bitstream.rs（bin_to_asc）
veryl-wasm/api.rs ─→ { netlist, pnr::chipdb, board, bram, rv, pdk }
web/src/api.ts ─→（wasm）veryl-wasm/src/lib.rs

規則（AGENTS 明文）：核心演算法不反向依賴介面層—— board/ 不知道 wasm 的存在，wasm/api.rs 只做 JSON 進出與 thread-local 會話。

測試入口（從檔案出發）#

行數的意義#

幾個刻意的不對稱：

• elab.rs（1742）與 cc.rs（1718）是兩個最大的檔案—— 它們都是「把一種語言變成另一種語言」的翻譯器， 邏輯密度高、難以再拆（拆了反而要在檔案間跳）；
• netlist.rs（666）是全案被依賴最多的模組—— 型別設計穩定，上面的演算法層才能各自演化；
• pnr/（合計 ~2,200）比 asic/（~2,800）小，因為 iCE40 的架構由 chipdb 描述（資料驅動）， vlib/SKY130 的規則則要寫成程式；
• board/（1,222）用 695 行的 mod.rs 餵活了整個 網頁虛擬實驗室——單一抽象（Design）的複利。

各模組的入口函數（從哪個函數讀起）#

修改時的常見連動#

改一個模組時要跟著動的測試與構件（AGENTS 規則的索引）：

最後提醒：只有 _doc/book/ 下的檔案是本書的； 本索引的行數會隨程式演進漂移，重新發佈前用 wc -l 重取一次即可（表上的數字取於本書撰寫時）。