《基於Reed-Muller邏輯的低功耗自動邏輯綜合和最佳化技術》是夏銀水為項目負責人，寧波大學為依託單位的面上項目。
基本介紹
- 中文名：基於Reed-Muller邏輯的低功耗自動邏輯綜合和最佳化技術
- 項目類別：面上項目
- 項目負責人：夏銀水
- 依託單位：寧波大學
科研成果,項目摘要,
科研成果
序號 | 標題 | 類型 |
|---|---|---|
1 | CMOL Cell Assignment Based on Dynamic Interchange. | 會議論文 |
2 | 面向多級邏輯的低功耗有限狀態機狀態分配. | 期刊論文 |
3 | 邏輯函式適於雙邏輯實現的探測算法 | 期刊論文 |
4 | An Algorithm for Detecting Logic Implementation Mode | 會議論文 |
5 | BDD based Detection Algorithm for XOR-Type Logic. | 會議論文 |
6 | 基於弱電晶體的低功耗XNOR門設計 | 期刊論文 |
7 | Power Estimation Technique for Reed-Muller Logic Circuits | 會議論文 |
8 | 基於量子細胞自動機的數值比較器設計 | 期刊論文 |
9 | 低功耗三輸入異或（XOR）門 | 期刊論文 |
10 | 一種新的用於探測Pure Reed-Muller邏輯的算法 | 期刊論文 |
11 | Detection method for logic functions suitable for dual logic synthesis. | 期刊論文 |
12 | 劃分有限狀態機的低功耗實現模型， | 期刊論文 |
13 | An Algorithm for Reed-Muller Extraction | 會議論文 |
14 | Design and Application of Universal Logic Gate based on Quantum-Dot Cellular Automata. | 會議論文 |
15 | A Fast Algorithm for Multi-level Mixed-polarity Reed-Muller Functions Optimization. | 會議論文 |
16 | 面向低功耗的全加器最佳化設計 | 期刊論文 |
17 | Quantum-dots Cellular Automata Comparator | 會議論文 |
項目摘要
邏輯電路既可以基於Boolean邏輯來實現，也可以基於Reed－Muller(RM)邏輯來實現。就功耗和面積來說，大約50%的設計問題，如用Reed-Muller邏輯進行設計，具有比傳統布爾邏輯更多的優點。本項目旨在發展基於RM邏輯的低功耗自動綜合和最佳化技術。主要研究內容包括：研究邏輯函式適合於RM邏輯電路實現的判定技術;基於RM邏輯的邏輯電路的功耗估計技術；固定極性下的功耗最佳化技術；混合極性下的
