邏輯驗證系統

邏輯驗證系統（logic verification system）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。

基本介紹

• 中文名：邏輯驗證系統
• 外文名：logic verification system
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

用來模擬和檢驗邏輯設計是否正確的系統。

出處

《計算機科學技術名詞 》第三版。