課程名稱 |
邏輯合成與驗證 LOGIC SYNTHESIS AND VERIFICATION |
開課學期 |
98-1 |
授課對象 |
電機資訊學院 電機工程學研究所 |
授課教師 |
江介宏 |
課號 |
EEE5028 |
課程識別碼 |
943 U0300 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期三6,7,8(13:20~16:20) |
上課地點 |
|
備註 |
總人數上限:50人 |
|
|
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
Logic synthesis is the one of the important subject in EDA. It bridges the gap between high-level design and physical design. It is mainly concerned about how to automatically and effectively translate register-transfer-level designs into transister-level circuits. Verification, on the other hand, ensures the equivalence between high-level design and low-level implementation.
http://cc.ee.ntu.edu.tw/~jhjiang/instruction/instruction.html |
課程目標 |
Boolean methods and their applications will be introduced. The topics to be covered include 1) Boolean algebra, 2) Boolean representation and reasoning, 3) two-level logic minimization, 4) multi-level logic minimization, 5) timing analysis and optimization, 6) technology mapping, 7) sequential optimization, 8) verification, and 9) other advanced topics.
|
課程要求 |
|
預期每週課後學習時數 |
|
Office Hours |
|
指定閱讀 |
|
參考書目 |
TEXTBOOK: NO REQUIRED TEXTBOOK. LECTURE NOTES WILL BE PROVIDED.
REFERENCE: LOGIC SYNTHESIS AND VERIFICATION. S. HASSOUN AND T. SASSO (EDITORS). KLUWER ACADEMIC PUBLISHERS, 2001.
LOGIC SYNTHESIS AND VERIFICATION ALGORITHMS. G. HACHTEL AND F. SOMENZI. KLUWER ACADEMIC PUBLISHERS, 1996.
BOOLEAN REASONING. F. BROWN. KLUWER ACADEMIC PUBLISHERS, 1990.
|
評量方式 (僅供參考) |
|
|