SKcore的算法實(shí)現(xiàn)與VMM驗(yàn)證.pdf

1、隨著IC產(chǎn)業(yè)的高速發(fā)展，以IP核復(fù)用技術(shù)和超深亞微米工藝為支撐的系統(tǒng)芯片(簡(jiǎn)稱(chēng)soc)技術(shù)，是當(dāng)前嵌入式電子產(chǎn)品和超級(jí)大規(guī)模集成電路設(shè)計(jì)的主流。芯片的協(xié)議變得越來(lái)越復(fù)雜，規(guī)模也越來(lái)越龐大，soc芯片通常都有數(shù)據(jù)眾多的輸入輸出端口并且還需要傳遞海量的數(shù)據(jù)。由美國(guó)EXAR公司生產(chǎn)的PANTHER系列芯片是一款高性能的soc芯片，使用該soc芯片時(shí)，能在不影響電腦速度的情況下，對(duì)海量數(shù)據(jù)處理的速度能達(dá)到使用市場(chǎng)上一般大型軟件的成千上萬(wàn)倍。而在

2、這種百萬(wàn)甚至上千萬(wàn)門(mén)級(jí)的soc設(shè)計(jì)中，為了保證項(xiàng)目成功，功能驗(yàn)證消耗了整個(gè)設(shè)計(jì)投入的大約70％，已經(jīng)成為項(xiàng)目的關(guān)鍵路徑。如何解決芯片的驗(yàn)證效率和驗(yàn)證質(zhì)量已成為當(dāng)今芯片設(shè)計(jì)的當(dāng)務(wù)之急。
　　 本文基于公司項(xiàng)目的實(shí)際工作，以PANTHERII項(xiàng)目中作為核心算法處理的子系統(tǒng)SKcore為例，首先介紹了數(shù)據(jù)壓縮算法和功能驗(yàn)證的發(fā)展現(xiàn)狀以及選題的依據(jù)和意義。然后詳細(xì)介紹了SKcore子系統(tǒng)的組成和算法的基本原理，具體闡述了Skcore子系

3、統(tǒng)的幾個(gè)構(gòu)成模塊PP、引擎流水線(xiàn)和多路分配器，分別介紹了各個(gè)模塊的基本構(gòu)造，并舉例闡述了Skcore子系統(tǒng)引擎流水線(xiàn)模塊中的主要算法之一--eLZS壓縮算法的基本原理，該算法也是EXAR公司的專(zhuān)利算法。然后詳細(xì)介紹了SKcore子系統(tǒng)各部分的數(shù)據(jù)結(jié)構(gòu)和壓縮算法引擎的實(shí)現(xiàn)過(guò)程，給出了使用verilog語(yǔ)言實(shí)現(xiàn)的各模塊最終波形結(jié)果。同時(shí)，文中也介紹了Synopsys公司最新開(kāi)發(fā)的驗(yàn)證方法學(xué)VMM的幾個(gè)優(yōu)點(diǎn)，包括VMM具有的層次化的驗(yàn)證平臺(tái)，