RTL Anti-Tampering Design 第十一課：Reset、時鐘、CDC 與生命週期
重置解除不是一個全晶片同時發生的瞬間。安全許可若跨時鐘域或早於啟動檢查，就可能在系統「看起來已經開機」時先被使用。
ALL STORIES
全部文章
MY Academy 的半導體、硬體安全、AES、PUF、RTL、先進封裝與漫畫圖解文章索引。
RTL Anti-Tampering Design 第十二課：Secure Boot 與金鑰釋出
簽章有效只證明某把信任金鑰簽過這些位元；它不自動證明版本可接受、量測的是即將執行的映像，或金鑰會在正確 lifecycle 釋出。
RTL Anti-Tampering Design 第十三課：DFA、SIFA 與資訊洩漏
控制路徑拒絕錯誤輸出，不等於密碼實作沒有資訊洩漏。DFA 利用正確與故障輸出的差異；SIFA 以故障後仍輸出正確結果的樣本為條件，分析中間值的統計偏差。
RTL Anti-Tampering Design 第十四課：RTL 與 netlist 故障攻擊活動
一份 fault campaign 是可重播的實驗規格，不是隨機翻幾個 bit 後報一個百分比。它必須記錄設計版本、注入目標、時點、效果、預算、判準與無法模擬之處。
RTL Anti-Tampering Design 第十五課：校準實體故障注入模型
模擬器的故障目標只有在能對上實體現象時才有工程意義。校準不是把 RTL 參數調到「像成功」，而是用可追溯量測評估 target、時窗、效果、重現性與未知差異。
RTL Anti-Tampering Design 第十六課：設計審查與證據包
安全結論要能回答：保護什麼、假設哪些故障、哪些邊界已驗、哪些反例仍成立，以及未知項在哪裡。證據包的目的不是堆報表，而是讓另一位工程師能重跑並指出結論邊界。
RTL Anti-Tampering Design 第四課：多位元控制訊號：哪個值能放行請求？
延續第三課，失敗映像仍不能取得取指許可。這次驗證器改送四個位元。接收端必須決定，十六種組合中哪一種代表放行。編碼器與接收端的判讀方式，都會影響結果。
RTL Anti-Tampering Design 第五課：DMR、TMR 與共同失效：副本一致證明了什麼？
三份驗證結果投票決定是否放行失敗映像。一份副本出錯，可能被其他兩份蓋過。但共用輸入先變錯，三份都可能投贊成票。數副本之前，先畫出共用部分。
RTL Anti-Tampering Design 第六課：計數器與進度：一致的數值也可能提早完成
控制器必須完成四筆傳輸，才交出結果。正數計數器已到四，倒數計數器也到零，兩者相加仍是四。但真正只完成三筆。共用 enable 讓兩份計數一起提早前進。
RTL Anti-Tampering Design 第七課：FSM 狀態編碼：碼距只保護指定的保存狀態
控制器正在檢查未授權映像。六位元狀態從 CHECK 變成 RELEASE，授權卻沒有完成。新碼字合法，狀態解碼器認得它，也因此開閘。本課先算哪些替換能造成這個結果。
RTL Anti-Tampering Design 第八課：FSM 轉移與歷史：許可必須屬於這次交易
CHECK→RELEASE 是合法轉移，但故障改掉了選路條件。另一個請求拿交易 1 的 token，來放行交易 2。兩種請求都可能看起來合乎結構。本課追每次接受事件應具備的證據。
RTL Anti-Tampering Design 第九課：Shadow register 與安全 CSR：保護整次更新
軟體把組態寫兩次。Shadow 比較器看到相符，便提交更新。若兩次都是同一錯值，協定仍會成功。本課分開檢查更新一致性，以及是否有權選這個值。
RTL Anti-Tampering Design 第十課：Alert 與局部回應：偵測是否趕上接受？
接收端在 edge 2 接受錯誤請求。Sticky 之後記下異常，系統更晚才 reset。Alert 確實工作，卻無法撤回已接受的請求。本課把偵測與回應放到接受緣旁邊。
RTL Anti-Tampering Design 第三課：暫存器的值，怎樣才算可信？
先用驗證失敗卻被放行的例子，理解 parity、互補編碼與錯誤修正碼。配合六張電路圖、可重跑練習與 Wrap-up，檢查保護範圍及阻擋時機。
RTL Anti-Tampering Design 第二課：Fault model 怎麼寫，才知道測到了什麼？
從同一個取指放行電路，比較暫時的 Q 端擾動、持續的儲存狀態翻轉與上游判斷錯誤。用電路圖、RTL 與 42 個可重跑案例，把故障位置、時機、預算、可信邊界及觀察期限寫清楚。
RTL Anti-Tampering Design 第一課：功能正確，為什麼仍不安全？
從 Secure Boot 的一個放行旗標，學會定義故障模型、追蹤 register 與 FSM 的授權路徑，並用 accepted commit 性質檢查防護是否來得及。附 RTL、SVA、雙語圖解與可執行練習。
新一代遊戲主機的信任邊界：從破解動機到 Secure Boot 與記憶體隔離
從免費遊戲、自製軟體與平台商的商業動機開始，逐步拆解 PS4、Xbox 360、PS3、3DS 與 Switch 的公開安全案例，再理解 Secure Boot、sandbox、TEE 和 SoC 記憶體隔離各自能解決什麼問題。
復古電玩主機的防盜拷攻防：Mega Drive、PS1 與 PS2 如何守住啟動門檻？
從遊戲展的一個疑問出發，說明早期 Mega Drive、PS1、PS2 的媒體辨識與防拷機制，拆解駭客如何跨越不同信任邊界，也區分互通性、保存、自製程式、盜版與惡意攻擊。
安全韌體更新：設備如何更新，又不失去信任？
從更新授權、設備相容性與防回退，走到斷電安全安裝、試開機、簽署金鑰輪替和復原策略。
Measured Boot 與遠端證明：設備說安全，遠端該相信嗎？
從工廠閘道器申請連線開始，循序理解 Secure Boot、Measured Boot 與 Remote Attestation 如何分工，並看懂 TPM/PCR 證據能證明什麼、不能證明什麼。
多核吞吐 CPU 小教室：為什麼核心變多，工作不一定更快？
從照片轉檔出發，分清單張延遲、整批加速與服務吞吐。用算例理解平行工作、Amdahl、共享瓶頸與成本，再檢查 AI 工作流、RISC-V 和需求反彈的適用條件。
金鑰管理漫畫小教室：金鑰沒被偷，研究資料怎麼還是外洩了？
從研究 SoC 的資料外洩案例，逐步理解 DEK、KEK、HUK、使用授權、輪替、撤銷、復原與密碼抹除。12 張漫畫搭配完整講義、工程延伸與 26 項可重跑的教學測試。
SHA-2 RTL 設計入門：從 SHA-256 到第一個硬體核心
給第一次設計雜湊 IP 的電機系與研究所學生：先看簡明 TOP view，再從 padding、W 排程、64 輪資料路徑走到跨區塊累積、FSM、握手與逐拍驗證。
TLS 漫畫小教室：連到的真的是你嗎？
從敵意網路上的實驗報告出發，用十二張漫畫串起 TLS 1.3 的金鑰協議、憑證、Finished、AEAD，以及權限、前向保密與重放邊界。
憑證與 PKI 漫畫小教室：誰替陌生公鑰背書？
從一把陌生公鑰出發，十二張漫畫帶你打開 X.509 憑證、走完信任鏈，再理解 TLS 私鑰證明、有效期限、撤銷與裝置 PKI。
數位簽章漫畫小教室：這份訊息，真的是你發的嗎？
一張維修通知，從冒名、金額被改到公鑰驗證；十二張漫畫帶你理解數位簽章如何運作，以及驗證成功後還要檢查什麼。
Secure Boot 漫畫小教室：惡意 Boot Code 為什麼跑不起來？
從駭客為什麼偷換 Boot Code 開始，十二張漫畫一路拆解 Reset、信任起點、雜湊、數位簽章、防回滾、失敗處理與可信 Recovery。
ECC 橢圓曲線漫畫小教室：從曲線、有限體到公私鑰
不從協定縮寫開始，而是沿著 ECC 的誕生、橢圓曲線、點加法、Galois Field 與離散對數，一步步看懂私鑰為什麼是數字、公鑰為什麼是點。
Hardware Root of Trust 漫畫小教室：晶片憑什麼相信自己？
從門外的鑰匙、HUK 與 Key Storage 出發，一路走到可信開機、安全儲存、內外部信任與完整 HRoT；用十二張漫畫看懂硬體信任根真正負責什麼。
Cerebras 晶圓級 AI 漫畫小教室：為什麼把處理器做到整片晶圓？
十二張漫畫從資料搬移、reticle stitching 與缺陷容忍，講到片上 SRAM、dataflow、CSoft、CS-4、prefill／decode，以及 Cerebras、GPU、Taalas 的架構取捨。
RSA 漫畫小教室：從質數、費馬定理到公鑰密碼
從 Alice 怎麼安全交出第一把鑰匙說起，循著質數、餘數時鐘、費馬與歐拉的循環，一步步手算 RSA 的 7→13→7，再回到公鑰身分與金鑰交換。
Cache 與 Coherency 漫畫小教室：從 Memory Wall 到 CXL
從資料等不到、多核心副本不同步的例子，理解 Cache、MESI、Snoop 與 Directory 如何合作，再看 False Sharing、記憶體順序與 CXL 的限制。
Taalas 硬連線推論漫畫小教室：把模型權重做進晶片
十張漫畫從 HBM 搬移瓶頸講到 4-bit 候選表、one-hot 選路、跨維度累加與 HC1 的專用化代價。本課以教室教學模型拆解硬連線推論的工程直覺，並標明官方數字的測試邊界。
量子電腦漫畫小教室：Shor 演算法為什麼威脅 RSA 與 ECC？
八張漫畫從日常的公開金鑰鎖開始，分清 RSA 質因數分解、ECC 離散對數、Shor 的週期線索，以及今天真正需要準備的後量子密碼遷移。
一句話，走完 Token、Attention 到 KV Cache
用「小美養貓」這句例子，拆開 token、位置資訊、Q/K/V、attention、residual connection 與 KV cache，說清楚自回歸 LLM 每產生一個新 token 時，哪些資料能沿用、哪些工作仍得重做。
SHA 漫畫小教室 Part 1：從數位指紋到硬體信任鏈
用十張漫畫拆解 SHA：從雜湊值、三大抗性與生日悖論，一路談到 SHA-1 退場，以及 SHA 在軟硬體安全中的實際用途。
Credential 漫畫小教室：門口的人到底是誰？
用 12 張漫畫把 Credential 說清楚：它不是答案本身，而是讓系統相信你主張的證明。從密碼、Passkey、私鑰、公鑰、憑證、Token、Session，到 Device Identity 與 Attestation，一次分清楚證明、驗證、授權與保護。
AI 漫畫小教室 #1：LLM Token 與 KV Cache
這篇先用六張漫畫回答一個問題：LLM 為什麼能一句一句接出像樣的回答？我們會從「猜下一個字」開始，慢慢帶到 token、向量、K/V 筆記與 KV Cache，最後再看為什麼對話越長，AI 系統越容易被記憶體與資料搬移拖慢。
CRA 漫畫小教室：從法規、產品分級到 CE 合規與供應鏈證據
這篇把歐盟 CRA 當成產品上市前的資安檢查表：先看哪些產品會被管，再看 2026 通報、產品分級、Annex I 要求、符合性評估與 CE 證據怎麼串在一起。
高效能單核 CPU 小教室：為什麼同樣 GHz，效能會差兩倍？
兩顆 CPU 都標示 3GHz，為什麼完成同一份工作卻快慢不同？從工廠產線的例子出發，理解 IPC、分支預測、亂序執行與記憶體等待，再學會判斷規格表沒有告訴你的效能差異。
碳粉匣安全小教室：為什麼需要 PUF & Secure Storage？
這篇先說清楚：碳粉匣安全不是一顆小晶片的小事，而是耗材營收、仿冒風險與供應鏈信任的問題。十張漫畫會從攻擊手法、PKI 認證，一路講到為什麼需要 PUF 與 Secure Storage。
AI 推論晶片架構漫畫小教室：從 GPU + HBM 到 ASIC + CXL + DRAM + NMC
這篇先問一個直覺問題：AI 晶片很會算，為什麼還會等資料？六張漫畫會把 GPU、HBM、ASIC、CXL、DRAM 與近記憶體運算放回同一張供應鏈圖，說清楚推論系統真正卡在哪裡。
FIPS 140-3 漫畫小教室：從驗證流程到 LV3 硬體安全
這篇把 FIPS 140-3 當成密碼模組的安檢制度：先看它驗的是什麼，再用 Level 1、2、3 理解封裝、防拆、金鑰保護與半導體安全設計的差異。
HBM 小教室第二部分：Base Die 與 Repair 演進
這篇先把 HBM Base Die 想成整疊記憶體底部的控制室：它不只連接 GPU，也負責測試、監控與修復。讀完會懂為什麼 3D 堆疊讓 repair 從「換顆 DRAM」變成整包 AI package 的良率問題。
HBM 小教室：GPU 為什麼需要高頻寬記憶體？
這篇先把 HBM 想成一條超寬資料高速公路：GPU 越會算，越需要穩定餵資料。五張漫畫會帶你看懂 GDDR 的限制、HBM 的封裝方式、TSV 垂直通道，以及 HBM4 為什麼又寬又難做。
PUF 漫畫小教室：資料鎖好了，誰來保護金鑰？
從 SoC 研究資料的保護問題出發，十三張漫畫與完整講義帶你理解 PUF 物理來源、SRAM 重建、NeoPUF 形成與讀取，再接到 DEK／KEK 金鑰封裝、HUK 用途衍生及系統復原。
AES 漫畫小教室：五張圖看懂現代加密
這篇先把 AES 講成一套固定的加密工法：資料被切成區塊，經過一輪一輪的替換、搬移、混合與加鑰，最後變成外人看不懂的密文。讀完會知道 AES 為什麼仍是保護大量資料的核心工具。
半導體封裝小教室：從 CoWoS 到 ABF
這篇把先進封裝講成「把晶片彼此搬近」：先看 AI 為什麼需要 CoWoS，再看 Si Interposer、CoPoS、ABF substrate 與 PCB 各自解決哪一段距離、頻寬與良率問題。
AES-128 RTL 初學者圖解
這篇把 AES-128 RTL 當成硬體施工圖來讀：先看資料怎麼進出，再看 Round 控制、FSM、S-box 與 MixColumns，讓初學者知道每個模組在整條加密路線裡負責什麼。
