基于VHDL的數(shù)字SoC設(shè)計與驗證的全面自動化實現(xiàn).pdf

1、遵循著摩爾定律的指導，半導體行業(yè)發(fā)展日新月異。IP復用技術(shù)使得片上集成功能迅速增多，以SoC為代表的片上結(jié)構(gòu)復雜度不斷增加，給數(shù)字IC前端的設(shè)計和驗證上帶來巨大挑戰(zhàn)。為了保證上市時間，產(chǎn)品開發(fā)周期越來越短，多項目同時進行或流水進行已經(jīng)司空見慣，設(shè)計工程師和驗證工程師面臨著巨大的壓力和考驗。為了提高設(shè)計和驗證工作的效率和質(zhì)量，自動化生成是必須要采取的可行性手段。因此本文提出采用可復用的自動化腳本和工具作為解決方案。
　　本論文基于本

2、人實習所在公司的項目，以 SoC上的系統(tǒng)控制單元為例，對其功能進行了簡單的介紹，著重介紹了系統(tǒng)控制單元的核心功能——復位管理。
　　對于設(shè)計工作，由于復位管理具有很強的規(guī)律性，滿足自動化生成的條件。因此可以利用腳本生成通用的復位模型。另外還介紹了如何使用腳本工具生成子模塊互聯(lián)所產(chǎn)生的層次以及生成寄存器模塊。
　　對于驗證工作，測試平臺是任何模塊或IP進行功能仿真所必須搭建的，為了節(jié)約驗證工程師搭建測試平臺的時間，我們采用腳本

3、對其進行自動化生成。測試用例是驗證目標的具體實現(xiàn)形式，包含輸入激勵和輸出校驗。復位模塊接受多種復位源并且輸出一百余個復位信號，要覆蓋所有情景時測試用例的編寫非常繁雜，因此我們同樣采用腳本對其進行自動化生成。
　　最后為了驗證自動化代碼的正確性，本文采用了依賴測試平臺和測試用例的功能仿真，以及不依賴激勵的形式驗證，以差異化的手段確保代碼功能符合需求。
　　目前，本文所采用的自動化生成技術(shù)已經(jīng)十分成熟和穩(wěn)定。工程師只需要對Per