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

1.設(shè)計(jì)要求

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

2.設(shè)計(jì)思路

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

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

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

3.自動(dòng)布線程序設(shè)計(jì)