課程名稱 |
邏輯合成與驗證 Logic Synthesis and Verification |
開課學期 |
102-1 |
授課對象 |
電機資訊學院 電子工程學研究所 |
授課教師 |
江介宏 |
課號 |
EEE5028 |
課程識別碼 |
943EU0300 |
班次 |
|
學分 |
3 |
全/半年 |
半年 |
必/選修 |
選修 |
上課時間 |
星期三6,7,8(13:20~16:20) |
上課地點 |
電二106 |
備註 |
本課程以英語授課。 總人數上限:60人 |
|
|
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
OUTLINE:
INTRODUCTION AND BOOLEAN ALGEBRA
REPRESENTATIONS OF BOOLEAN FUNCTIONS
SOPS AND INCOMPLETELY SPECIFIED FUNCTIONS
TWO-LEVEL LOGIC MINIMIZATION
MULTI-LEVEL LOGIC MINIMIZATION
NODE MINIMIZATION USING DON'T CARES
TIMING ANALYSIS AND OPTIMIZATION
TECHNOLOGY MAPPING
SEQUENTIAL FLEXIBILITY AND OPTIMIZATION
EQUIVALENCE AND PROPERTY CHECKING
VERIFICATION REDUCTION
ADVANCED TOPICS
|
課程目標 |
WHAT IS LOGIC SYNTHESIS? IN A WIDE SENSE, IT IS ABOUT THE AUTOMATIC PRODUCTION OF LOGIC COMPONENTS. IN A STRICT SENSE, THE PRODUCTION IS MEANT TO BE SOME TRANSFORMATION OR OPTIMIZATION, AND THE LOGIC COMPONENTS ARE MEANT TO BE HARDWARE CIRCUITS. AS WE EXPECT FOR LOGIC SYNTHESIS, THE SUBJECT MAY INVOLVE ANSWERING QUESTIONS, LIKE HOW TO ABSTRACT AND REPRESENT LOGIC CIRCUITS, HOW TO MANIPULATE AND TRANSFORM THEM, AND HOW TO ANALYZE AND OPTIMIZE THEM. WHAT IS VERIFICATION? IT IS ABOUT ENSURING THE CORRECTNESS OF SYSTEM CONSTRUCTION. IN FACT, SYNTHESIS AND VERIFICATION ARE TWO SIDES OF THE SAME COIN. LOGIC SYNTHESIS AND VERIFICATION PLAY AN ESSENTIAL ROLE IN THE ELECTRONIC DESIGN AUTOMATION (EDA) FLOW. THIS COURSE WILL COVER THE ESSENTIALS OF LOGIC SYNTHESIS AND VERIFICATION, AND WILL INTRODUCE SOME EMERGING TOPICS IN THE FIELD. |
課程要求 |
PREREQUISITE:
SWITCHING CIRCUITS/LOGIC DESIGN.
GRADING:
HOMEWORK 30%
MIDTERM EXAM 20%
FINAL EXAM 20%
TERM PROJECT 30%
|
預期每週課後學習時數 |
|
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.
|
評量方式 (僅供參考) |
|
|