查詢結果分析
相關文獻
- Knowledge-Based Specification and Analysis of Digital Hardware Systems
- 建構一個終身學習的自學式網路資源知識庫
- 活用企業大腦建構智價企業
- 資訊再工程--從傳統程式到物件導向規格
- 壓鑄模具方案設計專家知識庫系統建立
- 冷軋排程系統一物件導向觀念在知識庫系統之應用
- 掩埋場選址電腦輔助作業系統
- A New Model Exploiting Loop Parallelization Using Knowledge-Based Techniques
- 專家系統--以透濕防水服飾品為例
- 數位圖書館之多媒體文件資料庫設計與知識輔助內容基底查詢方法
頁籤選單縮合
題名 | Knowledge-Based Specification and Analysis of Digital Hardware Systems=以知識庫為基礎的數位硬體系統之規範及分析 |
---|---|
作者 | 沈榮麟; 賴飛羆; |
期刊 | 明志工專學報 |
出版日期 | 19940500 |
卷期 | 26 1994.05[民83.05] |
頁次 | 頁33-49 |
分類號 | 312.49 |
語文 | eng |
關鍵詞 | 知識庫; 及/或平行性; 培粹網路; 硬體正確性; Knowledge base; FRHDL; AND/OR-Parallelism; Petri net; Hardware correctness; |
中文摘要 | 本文旨在提供一種硬體描述語言FRHDL,用來製作一個知識庫。FRHDL的語法簡易但很有效地可用來規範硬體系統所需的要件,並可直接被PROLOG所模擬。由FRHDL所形成的知識庫,可找到一較正規的方法,用來驗證數位硬體系統的正確性;尤其,可從規範的子句之中找到各種平行性。所以,已設計一套可偵測AND及OR平行性的演算法,使計算速度加快。並且,行為式的結構及組合式的結構也可使用FRHDL建造而成。培粹(Petri)網路似的特性包括:可到達性、可逆性、活躍性、穩定性、相關性、有限公平性、多餘性、取代性、及不必要性條件,均可用來分析規範硬體系統所需的子句,藉以偵測外在或内在的不正確子句。最後,用這些分析所得的結果,俾能找到數位系統設計所可能遭遇的難題,並能達到正確規範的目的。 |
英文摘要 | In this paper, we present a knowledge base implemented in FRHDL (Frame – and – Rule – based Hardware Description Language). The FRHDL is simple but efficient to specify the hardware requirements and can be directly simulated by PROLOG. Through the knowledge base transformed from FRHDL, a formal method can be developed to design, implement, and validate the correctness of digital hardware systems; and particularly, to exploit parallelism among the specification clauses. Consequently, AND- and OR- parallelism detection algorithms have been designed in order to increase the processing speed. Also, both behavioral architecture and structural architecture can be built by using FRHDL. Petri net-like properties including reachability, reversibility, liveness, consistency, synchronic distance, bounded fairness, redundancy, subsumption, and unnecessary condition are applied to analyze the specification clauses. The purposes of those properties are to detect explicit/implicit incorrect specification clauses and some desired properties. Finally, the analysis results can be a useful tool for finding obscure problems in tricky digital system designs and can also aid in the development of good specifications. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。