在過(guò)去十年里集成電路變得愈加的復(fù)雜和昂貴,工業(yè)上開(kāi)始采用新的設(shè)計(jì)方法,被廣泛提及的是基于重用的片上系統(tǒng)設(shè)計(jì)(System-on-Chip,SoC)。它把一個(gè)系統(tǒng)劃分成若干子功能模塊,而這些子功能模塊可通過(guò)IP核(IntellectualProperty,IP))的方式從內(nèi)部或三方資源中得到,然后把這些IP核集成到一塊芯片上實(shí)現(xiàn)整個(gè)系統(tǒng)的功能。在這種設(shè)計(jì)策略中,越來(lái)越多的功能模塊需要用IP核來(lái)實(shí)現(xiàn),因此IP核就顯得越來(lái)越重要了。如果IP核實(shí)現(xiàn)的功能有問(wèn)題,那么整個(gè)系統(tǒng)也將毫無(wú)疑問(wèn)的失敗。在現(xiàn)代設(shè)計(jì)系統(tǒng)中,有很多部分的功能是需要用數(shù)字邏輯模塊來(lái)實(shí)現(xiàn)的,因此數(shù)字邏輯系統(tǒng)設(shè)計(jì)的功能的正確性成為了當(dāng)前關(guān)注的問(wèn)題。 數(shù)字系統(tǒng)的設(shè)計(jì)開(kāi)始于描述實(shí)現(xiàn)意圖和行為的原始構(gòu)想,然后經(jīng)過(guò)反復(fù)的逐級(jí)細(xì)化,直到得出布圖文件為止。數(shù)字系統(tǒng)的每一級(jí)細(xì)化都需要確認(rèn)設(shè)計(jì)實(shí)現(xiàn)滿足系統(tǒng)的原始設(shè)計(jì)意圖,功能驗(yàn)證就是為了確認(rèn)設(shè)計(jì)實(shí)現(xiàn)滿足系統(tǒng)功能規(guī)范中定義的所需功能而提出的。 有很多方法可以用在數(shù)字邏輯系統(tǒng)的功能驗(yàn)證中,如基于仿真的驗(yàn)證和形式化驗(yàn)證等。無(wú)論那種方法都需要得出系統(tǒng)功能和性質(zhì),然后加以處理。如果要完備地驗(yàn)證...

【文章頁(yè)數(shù)】：105 頁(yè)

【學(xué)位級(jí)別】：碩士

【部分圖文】：

CIC中國(guó)集成電路ChinalntegratedCircult設(shè)計(jì)http：//www.cicmag.com（總第224-225期）2018·1-2·圖5數(shù)據(jù)報(bào)文仿真圖圖6控制報(bào)文仿真圖圖5和圖6中，dout為輸出信號(hào)，其有效范圍受dout_vld指示，圖中d....

CIC中國(guó)集成電路ChinalntegratedCircult設(shè)計(jì)http：//www.cicmag.com（總第224-225期）2018·1-2·圖5數(shù)據(jù)報(bào)文仿真圖圖6控制報(bào)文仿真圖圖5和圖6中，dout為輸出信號(hào)，其有效范圍受dout_vld指示，圖中d....

CIC中國(guó)集成電路ChinalntegratedCircult設(shè)計(jì)http：//www.cicmag.com（總第224-225期）2018·1-2·圖5數(shù)據(jù)報(bào)文仿真圖圖6控制報(bào)文仿真圖圖5和圖6中，dout為輸出信號(hào)，其有效范圍受dout_vld指示，圖中d....

CIC中國(guó)集成電路ChinalntegratedCircult設(shè)計(jì)http：//www.cicmag.com（總第224-225期）2018·1-2·圖5數(shù)據(jù)報(bào)文仿真圖圖6控制報(bào)文仿真圖圖5和圖6中，dout為輸出信號(hào)，其有效范圍受dout_vld指示，圖中d....

本文編號(hào)：4010991