技術特征：

技術總結
實施例涉及電路的仿真和信號的未知狀態(tài)的表示。所公開的系統(tǒng)(和方法以及計算機程序產品)包括用于以能夠表示未知狀態(tài)的形式轉換DUT的數字信號的仿真環(huán)境。此外，所公開的系統(tǒng)將諸如布爾邏輯、觸發(fā)器、鎖存器和存儲器電路之類的數字邏輯電路轉換成可利用具有未知狀態(tài)的信號而操作。因此，通過以所公開的語義表示的數字邏輯電路來指示和傳播信號的未知狀態(tài)，以使得能夠快速檢測例如由于電源關閉或不恰當的初始化所引起的DUT的不正確的操作。

技術研發(fā)人員：A·拉比諾維奇;L·M·拉祖爾
受保護的技術使用者：美商新思科技有限公司
技術研發(fā)日：2015.10.30
技術公布日：2017.10.13