查詢結果分析
來源資料
相關文獻
- Requirements Specification and Analysis of Register-Transfer Level Digital Systems Using Marked Petri Nets
- 網路化整合式教育訓練系統雛型研究--以丙級工業電子技能檢定為例
- 從軟體再利用觀點探討POS系統之設計--以超市業態為例
- 教學系統設計模式之初探與改良
- 電梯運行設計之系統模擬
- 設備維護系統設計--維護策略與週期之訂定
- Process-Translatable Petri Nets for the Rapid Prototyping of Workflow Processes
- 系統思考的再思與教學系統設計的轉化
- 雷射視覺醫療光學系統設計
- 一個運用EPSS環境進行與學習ISD的專題本位學習系統
頁籤選單縮合
題名 | Requirements Specification and Analysis of Register-Transfer Level Digital Systems Using Marked Petri Nets=數位系統之要件規範及分析(RTL及MPN) |
---|---|
作者 | 沈榮麟; Shen, Victor R. L.; |
期刊 | 明志工專學報 |
出版日期 | 19960500 |
卷期 | 28 1996.05[民85.05] |
頁次 | 頁53-63 |
分類號 | 448.51 |
語文 | eng |
關鍵詞 | 正式規範; 培粹網路; 快速雛型; 系統設計; Formal specification; Petri net; Raqid prototyping; System design; |
中文摘要 | 本文旨在提出一標誌式培粹網路(MPN)的方法,用來規範、分析、及設計一個數 位系統。從系統階層到暫存器-轉移階層(RTL),MPN可很方便地用來獲取設計者的觀念, 並可圖式整個系統行為的表現。透過MPN,可到達性的分析技術可以應用來驗證數位系統。 所以,藉著MPN的存活性及安全性的分析檢定,數位系統的RTL電路方塊就可很容易地、很安 全地推導出來。最後,經由實驗證實MPN方法的優越性。 |
英文摘要 | In this paper, a marked Petri net (MPN) modeing approach is proposed to support the specification, analysis, design of digital systems. Starting from system level to register-transfer level (RTL), marked Petri nets are well applied to capture the designer's ideas and present the system's behavior graphically. Through the net model, reachability analysis technique is employed to formally verify the digital system designed. Hence, using the behavioral properties-liveness (i. e. absence of deadlock) and safety (i. e. absence of overflow) of the net model can avoid the hardware system from deadlocks and hazards, respectively. Finally, from the live and safe MPN model we can obtain the desired hardware prototype at RTL by using the system optimization rules. This MPN modeling approach is superior to the current techniques for reachability analysis, and a conclusion supported by the experimental results is presented herein. |
本系統之摘要資訊系依該期刊論文摘要之資訊為主。