RESEARCH SNAPSHOT
先看館藏長成什麼，再挑一篇深入追問。
首頁整理我們累積了哪些主題、知識如何隨時間增加，以及哪些方法仍只停在研究階段。選一篇後，先看圖解與例子，再閱讀完整筆記或直接提出問題。
COLLECTION OVERVIEW
我們目前收藏了什麼？
館藏集中在哪些主題
TODAY’S SYNTHESIS
四個方向值得先做小型 canary
- 把報告變成可回到 RTL 的意圖契約。
- 先定位 affected scope，再問 DD 邊界。
- FAIL 先修正；correctness 通過後才做 PPA。
- 功能、合成品質、可靠度與 runtime 分開量測。
EVIDENCE BOUNDARY
今天的 10 篇，只證明研究已整理。
它們不能證明 V7 已實作，也不能替代 CNNX 的 simulation、formal、LEC、synthesis 或 PPA。
METHOD MAP
從理解到驗證，現在缺的是哪一段？
01還原意圖HINT
02定位範圍RTLocating
03修正與提案Agent loops
04分層驗證RTL → EDA