本文旨在描述一個智慧型交談式繪圖系統，此系統除了俱傋佈圖能力之外，更俱有立
即驗證的功能。驗證功能包括設計規範檢驗與邏輯連線驗證。利用螢幕的區域特性，
佈圖錯誤可以很有效率的被偵測出來，顯示於螢幕，且立即修正。此區域修正之特性
是本系統的最大優點。傳統的佈圖系統，佈圖被修改之後，必須重做驗證；並錯誤非
常難於修改。
本文提出一個交談式處理模式適於資料更新與交談運作。使用循序檢驗演算法來發展
螢幕式設計規範檢驗器；利用「聯集一尋找」演算法，做為動態的連線萃取器；最後
，本文提出一種狀態矩陣，成功地完成交談式連線驗證器。
無論是組合電路或是序向電路，此系統皆可做連線驗證。目前，使用PASCAL語言實現
於VAX-11/780電腦上，經過幾個例子測試，證明了系統的快速與效率。
|