什麼是X 樂觀性(X-optimism)

在 HDL 模擬中,含有不定值 X 的條件不會以 X 傳遞,而被當作確定值處理,導致錯誤被隱藏的性質。

日文名稱: X楽観主義

「X 樂觀性(X-optimism)」出現在1領域的1道練習題中(硬體描述語言與驗證等)。

這個名詞所屬的領域: 硬體描述語言與驗證

解析中的「X 樂觀性(X-optimism)」

出現「X 樂觀性(X-optimism)」的題目(1題)

  1. 在上方的描述中,當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)

前往名詞解釋列表