【摘要】：FPGA板級路由問題是電路設(shè)計(jì)環(huán)節(jié)中的一個(gè)重要問題,它主要解決的問題是當(dāng)把一個(gè)大規(guī)模電路設(shè)計(jì)劃分成多個(gè)模塊,并把多個(gè)模塊封裝到多個(gè)FPGA芯片中之后,如何用多個(gè)多端網(wǎng)把每個(gè)FPGA芯片按特定要求鏈接起來,實(shí)現(xiàn)信息路由通常的問題。而面對集成電路規(guī)模的增長,使得問題規(guī)模越來越大,如何高效解決FPGA板級路由問題是該領(lǐng)域的一個(gè)研究熱點(diǎn)。本文通過對該問題的研究,提出了一種基于可滿足模理論(Satisfiability Modulo Theories,簡稱SMT)的方法來解決該問題。經(jīng)過對該問題和SMT的深入研究,本文主要取得了以下成果：建立了FPGA板級路由問題的算術(shù)模型,并轉(zhuǎn)化成SMT表達(dá)式,最后用SMT解決器求解；提出了一種約化該問題的方法,通過約減多端網(wǎng)的數(shù)量,以到達(dá)縮減問題規(guī)模的目的,并用SMT方法求解。實(shí)驗(yàn)表明,采用SMT方法具有更高的解決問題效率,具備處理更大規(guī)模問題的能力；此外約減方法對基于SMT方法的計(jì)算效率有一定的提高。
【學(xué)位授予單位】：廣西民族大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2015
【分類號】：TN791
，

本文編號：2516364