支持QoS路由器設(shè)計(jì)與驗(yàn)證.pdf

1、隨著SoC應(yīng)用越來(lái)越多，片上網(wǎng)絡(luò)作為一種新的片上通信架構(gòu)，除了要提供基本的BE通信服務(wù)，還需要提供各種不同特定應(yīng)用對(duì)通信帶寬、時(shí)延及時(shí)延抖動(dòng)等QoS有保障要求的GS通信。如何提供能保障帶寬、時(shí)延及時(shí)延抖動(dòng)的服務(wù)成為NoC設(shè)計(jì)中一項(xiàng)關(guān)鍵技術(shù)。因此，對(duì)片上網(wǎng)絡(luò)通信架構(gòu)中的保障服務(wù)質(zhì)量通信研究具有非常重要的意義。
　　本文在深入分析片上網(wǎng)絡(luò)中保障服務(wù)質(zhì)量通信的基礎(chǔ)上，針對(duì)目前片上網(wǎng)絡(luò)保障服務(wù)質(zhì)量方案存在的問(wèn)題，提出一種保障服務(wù)質(zhì)量算法，

2、將此算法與傳統(tǒng)BE路由算法結(jié)合，設(shè)計(jì)完成同時(shí)支持BE、GS的路由器，并對(duì)此路由器組成的片上網(wǎng)絡(luò)進(jìn)行了性能評(píng)估。
　　首先，本文從面向連接與面向非連接方案異同、GS虛連接建立階段的設(shè)計(jì)難點(diǎn)以及GS數(shù)據(jù)傳輸階段需要解決的問(wèn)題三方面進(jìn)行了詳細(xì)的分析。
　　其次，在對(duì)片上網(wǎng)絡(luò)保障服務(wù)質(zhì)量方式分析基礎(chǔ)上，采用分布式建立GS虛連接，借鑒基于象限虛擬網(wǎng)絡(luò)自適應(yīng)BE路由算法，提出帶回退機(jī)制的象限虛網(wǎng)絡(luò)自適應(yīng)GS虛連接建立算法，提高了GS虛連

3、接的建立成功率。在GS數(shù)據(jù)傳輸階段，提出面向連接的QoS調(diào)度算法并理論證明了算法的正確性，該算法通過(guò)分布式地動(dòng)態(tài)調(diào)整GS連接在每個(gè)路由器中的優(yōu)先級(jí)，來(lái)解決共享同一物理鏈路的不同GS連接之間的傳輸沖突問(wèn)題，從而保障了時(shí)延、帶寬和時(shí)延抖動(dòng)等QoS需求。該算法支持保障多種帶寬申請(qǐng)，有效解決了IP核對(duì)通信架構(gòu)保障服務(wù)質(zhì)量多樣性的要求，并且，通過(guò)結(jié)合通過(guò)BE通道分配動(dòng)態(tài)優(yōu)先級(jí)和監(jiān)控GS流量?jī)煞N方法，改善了BE服務(wù)質(zhì)量、提高了資源利用率。
　

4、　隨后，對(duì)算法進(jìn)行了硬件建模，完成同時(shí)支持BE、GS路由器的RTL級(jí)建模，利用DesignCompiler對(duì)其進(jìn)行邏輯綜合得到門級(jí)電路網(wǎng)表，利用SoCEncounter對(duì)網(wǎng)表進(jìn)行布局布線得到最終版圖。同時(shí)，通過(guò)利用PrimeTime對(duì)網(wǎng)表進(jìn)行靜態(tài)時(shí)序分析，利用formality進(jìn)行形式驗(yàn)證，保證了設(shè)計(jì)時(shí)序正確性及功能一致性。
　　最后，本文利用片上網(wǎng)絡(luò)性能評(píng)估平臺(tái)對(duì)設(shè)計(jì)路由器組成的片上網(wǎng)絡(luò)進(jìn)行性能評(píng)估，結(jié)果表明，保障帶寬和零抖動(dòng)，