隨想錄（形式化驗證小結）

【 聲明：版權全部，歡迎轉載，請勿用於商業用途。  聯繫信箱：feixiaoxing @163.com】html       形式化驗證，英文是formal verification，是驗證軟硬件邏輯很重要的一種方法。特別是對於芯片開發、高安全性的系統開發來講，是很是必要。這主要是由於系統失敗的代價很高，傳統的測試也沒法驗證整個系統的安全性和可靠性。git   一、目前主要的測試方法github

>>阅读原文<<