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