验证工程：从 Vibe 硬件编程 Loop 到自迭代验证

摘要

作者嘗試用 AI Agent 自動驗證 ESP32 開發板上的硬體程式，發現僅靠串列埠或上傳成功無法確認螢幕顯示正確，需結合 OCR 與視覺回饋。文章提出「驗證工程」概念，強調將目標拆解為可驗證命題，並透過多層證據讓 AI 自迭代修正驗證方式，而非單純重複執行。

The author explores using AI agents to automate hardware verification, proposing 'verification engineering' to ensure AI coding reliably proves real-world outcomes through iterative feedback loops.

摘要、重點與章節標題由語言模型整理，細節（誰說的、數字、先後）可能有誤；要引用請以原始內容為準。

重點

• AI 自動編碼無法直接驗證硬體真實輸出，需引入視覺與物理層驗證。
• 驗證工程核心在於拆解目標為可驗證命題，並保留原始證據。
• 驗證結論應能改變下一輪行動，讓 AI 系統持續自我修正。

提到的工具與公司

• ESP32
• Claude

適合誰看

從事硬體開發、嵌入式系統或需要自動化驗證的工程人員。

摘要依據

講者

Phodal

依據

文章全文

為什麼排在這裡

人氣

0.75

新鮮

0.64

在主題頁與搜尋結果裡，名次由相關、人氣、新鮮三個分數決定；這一頁沒有搜尋的關鍵字，所以沒有相關分數。排序怎麼算

相關內容

• Vol.109 慢下来才能更快：AI编程的下一个瓶颈是验证与审查文章 ・ 莫尔索随笔
• Building verification loops in Claude Code影片 ・ Claude ・ 3 分鐘
• The Thermodynamic AI Computing Chip - Thomas AhlePodcast ・ Machine Learning Street Talk ・ 1 小時 3 分
• Agentic Engineering and the Lost Art of VerificationPodcast ・ Vanishing Gradients ・ 1 小時 32 分
• EP411 – 揭開軟體工廠的真相！AI這麼會寫程式強到爆，不能讓他全自動嗎？Podcast ・ AI懶人報 ・ 14 分鐘
• Practical Loop Engineering文章 ・ Addy Osmani（部落格）