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

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

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

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