楊成鳳 湖北工業(yè)大學(xué)計算機(jī)學(xué)院/江蘇省海安中等專業(yè)學(xué)校

1.設(shè)計要求

通過虛擬實驗系統(tǒng)的發(fā)展現(xiàn)狀可以看出，采用基于AS編程設(shè)計的虛擬實驗系統(tǒng)能縮小軟件的體量，利于廣泛傳播和運(yùn)用。但是為了提高軟件的交互性，需要實現(xiàn)由基本門電路搭建任意組合邏輯電路，點(diǎn)擊兩端點(diǎn)能自動布線并進(jìn)行參數(shù)傳遞，滿足真值表驗算和表達(dá)式自動顯示，其中自動布線是核心技術(shù)。

2.設(shè)計思路

要滿足虛擬實驗系統(tǒng)的電路自動布線，實現(xiàn)需建立具有基本邏輯功能的門電路模型。門電路模型主要實現(xiàn)輸出端與輸入端的邏輯功能，在一般的程序里面一個布爾運(yùn)算便能實現(xiàn)。但在虛擬實驗系統(tǒng)中，需要確定一個方案，核心功能是讓同一個門電路模型被選中多次使用時，模型各端口的編號、性質(zhì)、參數(shù)如何自動定義、判別和傳遞而不出現(xiàn)混亂。

元件之間自動連線時會根據(jù)元件位置不同捕捉和記錄端點(diǎn)坐標(biāo)，在元件連線時，系統(tǒng)能提前自動轉(zhuǎn)折避開交叉和重疊，從而讓自主設(shè)計的邏輯電路關(guān)系清晰明了，且能依靠連線實現(xiàn)邏輯參數(shù)的傳遞。

在邏輯電路設(shè)計完成后，需要進(jìn)行電路邏輯功能的驗證，驗算其是否能實現(xiàn)預(yù)期的邏輯功能。需要設(shè)計一種方案，系統(tǒng)自動檢測輸入端的數(shù)量，自動給出真值表，用戶窮舉輸入端各種輸入可能后能得到完成真值表并給出參考邏輯表達(dá)式。

3.自動布線程序設(shè)計