什麼是X 樂觀性(X-optimism)
在 HDL 模擬中,含有不定值 X 的條件不會以 X 傳遞,而被當作確定值處理,導致錯誤被隱藏的性質。
日文名稱: X楽観主義
「X 樂觀性(X-optimism)」出現在1領域的1道練習題中(硬體描述語言與驗證等)。
這個名詞所屬的領域: 硬體描述語言與驗證
在 HDL 模擬中,含有不定值 X 的條件不會以 X 傳遞,而被當作確定值處理,導致錯誤被隱藏的性質。
日文名稱: X楽観主義
「X 樂觀性(X-optimism)」出現在1領域的1道練習題中(硬體描述語言與驗證等)。
這個名詞所屬的領域: 硬體描述語言與驗證
這稱為X樂觀(X-optimism),對策有採用會傳遞X的寫法、加入偵測X的斷言等。
在上方的描述中,當sel為X(不定)時,Verilog的模擬會讓y選擇b。這個性質在驗證上成為問題的原因,下列何者正確?Verilog 四值邏輯(Four-state logic) 同步重設(Synchronous reset) 回歸測試(Regression testing) 米利型(Mealy machine) 受限隨機驗證(Constrained random verification) 阻塞賦值(Blocking assignment) 非同步重設(Asynchronous reset) 非阻塞賦值(Nonblocking assignment) 非預期閂鎖(Unintended latch)