基于FPGA的網(wǎng)絡(luò)協(xié)議處理器設(shè)計(jì)及驗(yàn)證.pdf

1、隨著嵌入式系統(tǒng)應(yīng)用領(lǐng)域的不斷擴(kuò)展,諸如手持式智能終端等嵌入式設(shè)備接入Internet已成為技術(shù)主流。嵌入式Internet技術(shù)面臨的主要困難是標(biāo)準(zhǔn)Internet協(xié)議對(duì)于計(jì)算機(jī)存儲(chǔ)器容量、運(yùn)算速度等方面的要求比較高,從而對(duì)處理器運(yùn)算速度、存儲(chǔ)空間以及功耗要求較高。因而,對(duì)于嵌入式Internet技術(shù)需要針對(duì)嵌入式系統(tǒng)的計(jì)算能力、存儲(chǔ)資源和能耗等進(jìn)行限制,對(duì)標(biāo)準(zhǔn)的Internet協(xié)議進(jìn)行裁剪和移植。通過(guò)將部分協(xié)議遷移到硬件中實(shí)現(xiàn),降低對(duì)核

2、心處理器的資源需求,提高系統(tǒng)性能并降低系統(tǒng)能耗。本文研究了以太網(wǎng)MAC協(xié)議,分析了MAC協(xié)議中數(shù)據(jù)幀格式和CSMA/CD的基本原理,設(shè)計(jì)了基于FPGA的MAC協(xié)議處理器。論文對(duì)整個(gè)系統(tǒng)的內(nèi)部結(jié)構(gòu)、模塊劃分及各模塊的設(shè)計(jì)過(guò)程進(jìn)行了詳細(xì)闡述。
　　 另一方面,隨著芯片設(shè)計(jì)的規(guī)模不斷擴(kuò)大和設(shè)計(jì)復(fù)雜程度的增大,功能驗(yàn)證成為硬件設(shè)計(jì)中的最大挑戰(zhàn)。目前,基于斷言的驗(yàn)證技術(shù)由于其抽象程度高、描述能力強(qiáng)且能夠?qū)﹀e(cuò)誤進(jìn)行定位等優(yōu)點(diǎn),成為一種重要的