規格(SPECIFICATION) 是包含一份描述系統做些什麼而不提及如何去做的完整文件。
然而，要描述一份純正且無任何指示有關如何完成的系統規格是一件困難的事。在本
論文裡，我們嘗試著去探討這個問題以及尋找此問題的解決之道。
在訂定高階規格時，兩個用來降低複雜度的解決方法是分解化(DECOMPOSITION) 以及
抽象化(ABSTRACTION) 。分解化的意思是將一件工作予以分割成兩個以上可分開的子
工作。抽象化則強調對系統有明顯意義的細節而不理會無關緊要的部份。
我們採用資料流程圖表(DATA FLOW DIAGRAM) 來得到分解化的目的，同時利用物件導
向(OBJECT-ORIENTED) 的技巧以達到抽象化的效果。將此二者加以合併組合，我們提
出一個用於訂定高階硬體規格的環境與方法論。利用這樣的環境與方法論可以讓訂定
規格這件事變得很容易，一位設計生手可以在少許困難之下完成一個複雜的設計。我
們同時也討論了在訂定規格之後，有關合成與模擬方面的一些考慮因素與想法。