【導讀】法學,并提供下游寄存器傳輸級實現(xiàn)的驗證基礎(chǔ)。ESL牽涉到比RTL級別。架構(gòu)原型建模、以及軟硬件協(xié)同仿真驗證。SystemC是一種很好的軟硬件聯(lián)合設(shè)。中的各種弊端,并提高設(shè)計效率。目前,高質(zhì)量的電子系統(tǒng)設(shè)計變得越來越復雜和困難。需求,更短的上市時間,不斷增加的成本壓力使這種趨勢看起來還在加速。賴于嚴格完善的設(shè)計方法學。傳統(tǒng)的RTL仿真平臺不能提供較快的仿真速度與較。電子系統(tǒng)級設(shè)計正在從學術(shù)研究的課題變成業(yè)界廣為。量規(guī)模的不同,用SoC芯片或可編程平臺實現(xiàn)。目前的設(shè)計方法不能充分利用設(shè)計能力來快速構(gòu)建滿足市場需求的SoC。SoC設(shè)計方法的研究具有重要的現(xiàn)實意義。SoC設(shè)計的趨勢是向高層抽象移動,更強調(diào)芯片。ESL設(shè)計指系統(tǒng)級的設(shè)計方法,從算法建模演變而來。在SoC開發(fā)流程中扮演協(xié)調(diào)統(tǒng)合的角色。ESL工具的挑戰(zhàn)就是既要保持足夠精度的時序信息來幫助設(shè)計決策,RTL仿真通常只能提供10MIPS到數(shù)百MIPS左右的性能;然而,時鐘精