《面向異步電路CAD的離散事件系統時間層次模型研究》是依託北京交通大學，由程軼平擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：面向異步電路CAD的離散事件系統時間層次模型研究
- 項目類別：青年科學基金項目
- 項目負責人：程軼平
- 依託單位：北京交通大學
- 負責人職稱：講師
- 批准號：60404010
- 研究期限：2005-01-01 至 2007-12-31
- 申請代碼：F0301
- 支持經費：23（萬元）
項目摘要
異步電路是沒有時鐘的數字電路，它與同步電路相比，具有能充分發揮器件潛力、功耗低等優點，因此它有望在將來得到廣泛套用。目前異步電路產業化的最大障礙在於其設計的複雜性，因此需有完善的CAD工具以降低其設計難度。異步電路的時序驗證和性能分析是CAD工具的重要模組，而其相關的建模和算法問題，可用離散事件系統的時間層次模型予以解決。本項目的主要研究內容：（1）針對現有的異步電路時序驗證模型，研究其未解決的算法問題以及算法複雜度問題。（2）對現有的用於異步電路性能分析的極小極大系統模型加以適當的擴充，使之能描述更廣泛的系統，並在此基礎上設計算法。（3）研究如何構建統一的異步電路設計、驗證、性能分析模型框架，使得CAD軟體的時序驗證和性能分析模組可以更好地與設計模組接口。項目研究成果將以學術論文和計算機軟體的形式體現。
