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

本文編號：2516364