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

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

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