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

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

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

【部分圖文】：

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

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

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

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

本文編號：4010991