基于Specman Elite的自動(dòng)功能驗(yàn)證平臺(tái).pdf

1、隨著半導(dǎo)體工藝水平的飛速發(fā)展，集成電路的設(shè)計(jì)規(guī)模不斷擴(kuò)大，設(shè)計(jì)復(fù)雜度不斷的增加，設(shè)計(jì)風(fēng)險(xiǎn)不斷的增大，因此驗(yàn)證的工作量也大大增加。在復(fù)雜的集成電路系統(tǒng)中，怎樣保證設(shè)計(jì)的可靠性是所有設(shè)計(jì)團(tuán)隊(duì)關(guān)心的問題。另一方面，由于驗(yàn)證工作已經(jīng)占到整個(gè)設(shè)計(jì)的50-80%，利用傳統(tǒng)的驗(yàn)證方法很難完成復(fù)雜度在百萬門以上的SoC的功能驗(yàn)證。如何對(duì)設(shè)計(jì)進(jìn)行高效完備的驗(yàn)證則是所有設(shè)計(jì)團(tuán)隊(duì)急需解決的問題。 本文針對(duì)SoC（System-On-a-Chip，片上

2、系統(tǒng)）芯片的結(jié)構(gòu)特點(diǎn)，提出了一種使用高級(jí)驗(yàn)證語言（E語言）搭建可重用的自動(dòng)功能驗(yàn)證平臺(tái)的方案，并將該功能驗(yàn)證平臺(tái)應(yīng)用到CEU（Configurable-Encryption-Unit，可配置的加密模塊）模塊的驗(yàn)證中。高級(jí)驗(yàn)證語言的應(yīng)用，大大提高了功能驗(yàn)證的效率，而E語言作為一種高級(jí)驗(yàn)證語言，使驗(yàn)證工程師可以高效地搭建驗(yàn)證平臺(tái)。該自動(dòng)功能驗(yàn)證平臺(tái)遵從可重用方法學(xué)的規(guī)則，可以對(duì)SoC芯片中的模塊進(jìn)行自動(dòng)功能驗(yàn)證。由于驗(yàn)證平臺(tái)的可配置性和可重