造價(jià)通
更新時(shí)間:2024.12.28
水蠟跟固蠟有什么區(qū)別

格式:doc

大小:57KB

頁(yè)數(shù): 3頁(yè)

本文將詳細(xì)探討水蠟和固蠟在建設(shè)工程領(lǐng)域的區(qū)別。通過(guò)對(duì)比它們的特性、應(yīng)用范圍、施工過(guò)程等方面進(jìn)行詳細(xì)說(shuō)明,幫助讀者更好地理解和選擇適合的蠟劑。

帶黑盒組合電路的等價(jià)性驗(yàn)證

格式:pdf

大小:192KB

頁(yè)數(shù): 4頁(yè)

為了在早期階段發(fā)現(xiàn)電路設(shè)計(jì)錯(cuò)誤,需要對(duì)包含未知部分的實(shí)現(xiàn)電路和規(guī)范電路進(jìn)行等價(jià)性驗(yàn)證。本文提出了一種"分而治之"的方法,把電路劃分成若干子電路,使用四值邏輯模擬技術(shù)對(duì)電路未知部分進(jìn)行量化,然后對(duì)子電路的合取范式進(jìn)行可滿(mǎn)足性驗(yàn)證。這種方法增強(qiáng)了算法的錯(cuò)誤檢測(cè)能力,通過(guò)在ISCAS’85基準(zhǔn)電路和10個(gè)簡(jiǎn)單組合電路上得到的兩組實(shí)驗(yàn)數(shù)據(jù)表明了此算法的有效性和可行性。

熱門(mén)知識(shí)

固蠟(黑盒)

精華知識(shí)

固蠟(黑盒)

最新知識(shí)

固蠟(黑盒)
點(diǎn)擊加載更多>>

相關(guān)問(wèn)答

固蠟(黑盒)
點(diǎn)擊加載更多>>
專(zhuān)題概述
固蠟(黑盒)相關(guān)專(zhuān)題

分類(lèi)檢索: