逻辑综合

占位文档。本篇计划梳理：综合把 RTL 映射成门级网表的过程；约束（时钟/面积/时序）与工艺库（.lib）的作用；DC / Genus 类工具；关键路径与 STA 前的数据准备。待填充。