WEBVTT

1
00:00:00.000 --> 00:00:04.740
模擬器的故障目標只有在能對上實體現象時才有工程意義。

2
00:00:04.740 --> 00:00:07.860
校準不是把 RTL 參數調到「像成功」，

3
00:00:07.860 --> 00:00:13.820
而是用可追溯量測評估 target、時窗、效果、重現性與未知差異。

4
00:00:13.820 --> 00:00:19.100
醫療體溫計需要用可追溯標準比對，不能只因讀值平滑就相信準確。

5
00:00:19.100 --> 00:00:27.040
電壓/時鐘 glitch、laser 或 EM 注入也要記錄儀器設定、探頭/位置、供電/溫度、觸發時間、晶片

6
00:00:27.040 --> 00:00:34.100
版本與重複試驗。類比只是提醒校正來源，沒有宣稱某種注入方式必然造成特定 RTL flip。

7
00:00:34.458 --> 00:00:43.458
先將物理 attempt 的可觀察 outcome 分成無效化、reset、skip、延遲、錯誤資料、檢查器告警、

8
00:00:43.458 --> 00:00:46.078
永久損壞與未觀察到效應。

9
00:00:46.078 --> 00:00:53.258
對應到數位模型時，要建立條件式 mapping：在設定 X、位置 Y、時間窗 Z 的樣本中，

10
00:00:53.258 --> 00:00:56.338
某類 effect 出現比例與區間；

11
00:00:56.338 --> 00:00:59.438
不要把一次成功映射成確定性 bit flip。

12
00:00:59.438 --> 00:01:07.638
把模型與量測放在同一分層表：可觀測物理操作、可觀測晶片反應、netlist effect、RTL

13
00:01:07.638 --> 00:01:14.218
abstraction。報告 sample count、未命中、不可重現、位置解析度與信賴區間；

14
00:01:14.218 --> 00:01:20.798
若平台只看得到 reset 而看不到內部節點，就標成觀測限制，不推定內部 state 改變。

15
00:01:21.298 --> 00:01:28.018
校準集與驗證集要分開。用一組資料估計模型，再用獨立區段檢查預測覆蓋率；

16
00:01:28.018 --> 00:01:31.318
依晶片、lot、環境與版本分層。

17
00:01:31.318 --> 00:01:34.818
結果不能外推到未測位置或別種工具。

18
00:01:34.818 --> 00:01:40.958
互動頁用合成資料示範觀察結果與模型預測的比對，這些資料不是實體量測。

19
00:01:40.958 --> 00:01:44.198
比較真實 outcome 和模型預測的 confusionmatrix，

20
00:01:44.198 --> 00:01:48.478
特別找 false negative：實體出現模型沒包含的故障。

21
00:01:48.478 --> 00:01:51.938
修訂模型後重新 hash 版本並重跑 campaign。

22
00:01:51.938 --> 00:01:53.918
安全結論只能涵蓋校準域；

23
00:01:53.918 --> 00:01:57.078
低樣本與零觀察不能推出事件不可能。

24
00:01:57.423 --> 00:02:01.563
校準資料要回答模型在什麼條件下可以代表量測。

25
00:02:01.563 --> 00:02:09.063
每筆physical attempt都記錄刺激設定、位置、時間、環境與晶片版本，再記下可觀察的反應。

26
00:02:09.063 --> 00:02:15.483
內部節點看不到時，就標記unknown，不能因reset出現便推論某個暫存器翻轉。

27
00:02:15.483 --> 00:02:19.803
用一組樣本估計對應關係，再用獨立樣本檢查預測；

28
00:02:19.803 --> 00:02:22.403
依晶片、批次與環境分層。

29
00:02:22.403 --> 00:02:29.023
混淆矩陣要保留false negative，因為模型漏掉實體觀察到的效應會讓後續campaign過度樂觀。

30
00:02:29.023 --> 00:02:31.223
結論只適用於實際校準的範圍。

31
00:02:31.631 --> 00:02:35.591
物理 campaign 要留下可追溯的刺激設定與晶片反應。

32
00:02:35.591 --> 00:02:40.271
數位模型的 target 和 effect 仍是待校準假設。

33
00:02:40.271 --> 00:02:42.911
一次命中不能當成必然 bit flip；

34
00:02:42.911 --> 00:02:46.711
內部節點看不到，也不能推定某個暫存器改變。

35
00:02:46.711 --> 00:02:51.271
按層次對映 effect，保留未命中與未知類別。

36
00:02:51.271 --> 00:02:54.791
用獨立資料檢查模型預測，並報告區間。

37
00:02:54.791 --> 00:03:00.531
記錄樣本與位置，還要保留時序、環境、版本及儀器設定。

38
00:03:00.531 --> 00:03:06.051
混淆矩陣不能省略 false negative，修訂後也要重新記錄模型 hash。

39
00:03:06.051 --> 00:03:14.591
結論只涵蓋實際校準域。低樣本、不可觀測的內部節點，以及不同晶粒、封裝或工具，都限制外推。

40
00:03:14.591 --> 00:03:17.891
類比耦合與未建模故障也要列出。

41
00:03:17.891 --> 00:03:21.531
現在挑一種模型外效應，增加測試分層。

42
00:03:21.531 --> 00:03:26.291
要用什麼感測方式，累積哪些樣本，才能把它納入模型？

43
00:03:26.291 --> 00:03:31.731
新樣本若出現未預測的效應，先保留未知狀態，再談更新模型。

44
00:03:31.731 --> 00:03:35.131
報告結果時一併寫出校準涵蓋的實體條件。