二維加速引擎邏輯的EDA驗(yàn)證.pdf

1、監(jiān)控芯片中的“二維加速引擎”（TDE:two dimension engine）邏輯主要實(shí)現(xiàn)抗閃爍、縮放和旋轉(zhuǎn)的功能，根據(jù)不同的應(yīng)用場(chǎng)景，作一些功能性驗(yàn)證，并且還有功能切換的功能測(cè)試。
　　VMM驗(yàn)證方法學(xué)能夠給驗(yàn)證提供一些“基類”和一套比較固定有效的驗(yàn)證架構(gòu)，這樣就有助于提高驗(yàn)證效率并減少驗(yàn)證時(shí)間，同時(shí) VMM定義了一些驗(yàn)證的標(biāo)準(zhǔn)，從而能最大化復(fù)用驗(yàn)證環(huán)境與驗(yàn)證組件。System C語(yǔ)言是一種可靠的高級(jí)編程語(yǔ)言，一種可以與開(kāi)發(fā)流

2、程的步驟相融合的語(yǔ)言?；谝陨蟽牲c(diǎn)，在搭建驗(yàn)證環(huán)境時(shí)才能更高效簡(jiǎn)單，準(zhǔn)確實(shí)用。
　　本論文主要介紹了驗(yàn)證的一些概念以及驗(yàn)證的重要性和獨(dú)立性，然后討論了System C語(yǔ)言和 VMM驗(yàn)證方法學(xué)以及基于它們搭建的自動(dòng)化驗(yàn)證平臺(tái)，還簡(jiǎn)要介紹了“二維加速引擎”邏輯的基本原理和邏輯架構(gòu)等，然后對(duì)“二維加速引擎”邏輯進(jìn)行了EDA（electronic design automation）驗(yàn)證。最終實(shí)現(xiàn)了一個(gè)代碼行覆蓋率達(dá)到92％并且表達(dá)式覆蓋