DAP模塊驗證組件系統(tǒng)級開發(fā)和實現(xiàn).pdf

1、設(shè)備接入端口模塊(DAP：Device Access Port)是適用于車載微控制器片上系統(tǒng)可測性設(shè)計DFT環(huán)境中的IP塊。作為一個設(shè)備接口，它能夠在片外設(shè)備和片上設(shè)計單元間用于測試，調(diào)試和校驗的通訊。 為了確保此設(shè)備接入端口模塊設(shè)計的可靠性，基于e語言的驗證套件成為工業(yè)中基于仿真的Specman驗證環(huán)境不可或缺的一部分，尤其是此設(shè)備接入端口模塊的e驗證套件的可用性、可靠性和進(jìn)一步的可復(fù)用性更是倍受關(guān)注。 本文在對傳統(tǒng)的

2、基于硬件描述語言驗證方法學(xué)研究的基礎(chǔ)上，介紹基于仿真的Specman驗證方法學(xué)。按照基于仿真的Specman驗證流程，首先對設(shè)備接入端口模塊的協(xié)議和設(shè)計詳細(xì)規(guī)范進(jìn)行詳細(xì)、深入的研究。然后，根據(jù)系統(tǒng)級驗證計劃，從中提取相關(guān)驗證目標(biāo)要求。研發(fā)的過程分兩步實現(xiàn)。第一步，首先在模塊級開發(fā)此模塊的e驗證套件的雛形。第二步，將其集成于系統(tǒng)級構(gòu)架中。在最大程度復(fù)用已有驗證環(huán)境的基礎(chǔ)上，再針對JTAG相關(guān)的驗證要求，開發(fā)相應(yīng)的測試用例以證明此驗證套件的