什麼是四值邏輯（Four-state logic）
HDL 模擬中使用的 0、1、X（不定）、Z（高阻抗）四種值。未初始化的訊號或發生衝突的訊號會變成 X。
日文名稱: 4値論理
這個名詞所屬的領域: 硬體描述語言與驗證
相關名詞
同步重設（Synchronous reset） 回歸測試（Regression testing） 米利型（Mealy machine） 受限隨機驗證（Constrained random verification） 阻塞賦值（Blocking assignment） 非同步重設（Asynchronous reset） 非阻塞賦值（Nonblocking assignment） 非預期閂鎖（Unintended latch） 重設同步器（Reset synchronizer） 參考模型（Reference model）