技術編號：6350789
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明一般地涉及集成電路邏輯設計分析，更具體地說，涉及用于分析具有瞬時邏輯的集成電路邏輯設計的技術。背景技術通常，形式驗證涉及嚴謹?shù)刈C明集成電路(IC)邏輯設計(設計)滿足相關聯(lián)的規(guī)范。典型地，驗證問題的規(guī)范包括設計的網(wǎng)表表示和所述網(wǎng)表的指定網(wǎng)的一組預期值?！熬W(wǎng)表”包含具有各種功能的門(其評估隨時間推移的布爾值)和邊(其表示所述門之間的互連)?！佰E線”可以是門隨時間推移的二進制(即，“0”或“1”)值的序列或門隨時間推移的三進位值(即，“0”、“1”或“X...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。