TODAY’S SYNTHESIS
四個方向值得先做小型 canary
- 把報告變成可回到 RTL 的意圖契約。
- 先定位 affected scope，再問 DD 邊界。
- FAIL 先修正；correctness 通過後才做 PPA。
- 功能、合成品質、可靠度與 runtime 分開量測。
RESEARCH SNAPSHOT
先看懂方法，再決定要不要帶進設計流程。
這裡把論文主張、我們的解讀與真實驗證分開。你可以從左側選一篇閱讀，反白句子後在右側留下自己的判斷。
EVIDENCE BOUNDARY
今天的 10 篇，只證明研究已整理。
它們不能證明 V7 已實作，也不能替代 CNNX 的 simulation、formal、LEC、synthesis 或 PPA。
METHOD MAP
從理解到驗證，現在缺的是哪一段？
01還原意圖HINT
02定位範圍RTLocating
03修正與提案Agent loops
04分層驗證RTL → EDA