VIS中電路模擬算法的GPU實(shí)現(xiàn).pdf

1、電路模擬是在數(shù)字電路自動設(shè)計(jì)中最為常用的驗(yàn)證方法,隨著數(shù)字集成電路的快速發(fā)展,電路規(guī)模越來越大,復(fù)雜性越來越高,傳統(tǒng)的電路模擬方法已越來越難以滿足設(shè)計(jì)者的需求,為了提高模擬速度,不少人把目光轉(zhuǎn)向并行電路模擬。
　　 近年來,隨著圖形處理器軟硬件技術(shù)的快速發(fā)展,基于GPU的通用計(jì)算已經(jīng)越來越得到重視,正在形成一個(gè)新的研究領(lǐng)域。NVIDIA公司最新的通用計(jì)算GPU編程模型-cuda并行編程模型除了在圖形處理領(lǐng)域有重要應(yīng)用外,在非圖形

2、處理方面也提供了巨大的運(yùn)算資源。在統(tǒng)一計(jì)算設(shè)備架構(gòu)下,基于GPU的計(jì)算能夠提供強(qiáng)大的存儲器帶寬和計(jì)算能力,采用C語言作為編程語言,使其具有良好的可編程性。
　　 VIS是一款開源的形式化驗(yàn)證和電路模擬軟件。本文在深入分析VIS中與電路模擬相關(guān)代碼的基礎(chǔ)上,結(jié)合CUDA并行編程技術(shù),在電路模擬的并行算法方面進(jìn)行了探討,主要內(nèi)容包括:
　　 介紹了VIS的發(fā)展歷史和總體結(jié)構(gòu),并將其與其他電路模擬驗(yàn)證軟件做了對比,詳細(xì)分析了V

3、IS的優(yōu)缺點(diǎn);其次,對VIS用到的中間文件格式blifimv文件做了詳細(xì)介紹,分析了bilfimv文件的語法結(jié)構(gòu)。
　　 分析了GPU的特點(diǎn)和發(fā)展歷程,對NVIDIA公司推出的統(tǒng)一計(jì)算設(shè)備結(jié)構(gòu)編程模型做了詳細(xì)介紹。將CUDA并行編程模型與傳統(tǒng)的并行編程進(jìn)行對比,分析了CUDA并行編程模型的優(yōu)缺點(diǎn)。并對如何搭建CUDA編程環(huán)境和使用CUDA進(jìn)行并行編程做了詳細(xì)介紹。
　　 介紹了常用的電路模擬算法:同步事件驅(qū)動模擬算法和基