※ [本文转录自 NTUcourse 看板 #1Pc8mQpc ]
作者: danny8508021 (danny) 看板: NTUcourse
标题: [评价] 105-1 江介宏 逻辑合成与验证
时间: Sun Aug 20 03:06:00 2017
※ 本文是否可提供台大同学转作其他非营利用途？（须保留原作者 ID）
（是／否／其他条件）：是
哪一学年度修课：
105-1
ψ 授课教师 (若为多人合授请写开课教师，以方便收录)
江介宏
λ 开课系所与授课对象 (是否为必修或通识课 / 内容是否与某些背景相关)
电子所 / 电机系 / EDA 领域课程
δ 课程大概内容
1. ABC tutorial
2. Boolean algebra
3. Boolean functions
4. SOPs and incompletely specified functions
5. Two-level logic minimization
6. Midterm exam
7. Multi-level logic minimization
8. Logic flexibility
9. Technology mapping
10. Timing analysis and optimization
11. Sequential circuit optimization
12. Equivalence and property checking
13. Advanced topics
14. Final quiz; project presentation
主要就是教 Logic Synthesis 的各种技术与工具，涵盖从以前
到现在重要的算法。
一开始会先让大家熟习 Boolean Algebra 的算术。
我自己比较有印象的就是从 2-level logic minimization 开始
教的内容是与交换电路与逻辑设计差不多的东西，不过理论方面
又更深一层；后来也有讲解 SAT 的一些经典算法，像是
Nonchronological Backtracking 与 2-literal watched 等等，
而后面就是 Technology mapping 以及与 Timing 相关时的电路
分析与优化，这边的难度跟 EDA 导论就比较相近。
Ω 私心推荐指数(以五分计)
喜欢 Boolean algebra : ★★★★★
想很扎实学习课程相关内容 : ★★★★★
想耍废 : ★
η 上课用书(影印讲义或是指定教科书)
主要使用老师上课投影片就够了（份量满多的）
Boolean algebra 有指定阅读写作业时可以参考
其他上课中提到的算法也有对应的 Reference 可以看
μ 上课方式(投影片、团体讨论、老师教学风格)
使用投影片上课，老师会在讲完算法时问全班同学有没有听懂或理解，
有时候也会点同学起来回答一些简单的问题。
老师讲解的还算清楚，步调也不会太快，由于大部分是算法或是理论，
需要聚精会神，有时候恍神可能就需要自己花很多时间来弥补。
偶尔会在黑板上推导比较复杂的算法。
σ 评分方式(给分甜吗？是扎实分？)
30% Homework
10% Programming assignments
25% Midterm
5% Final quiz
30% Project
扎实分
大概 2X 人修课 11.54% A+
ρ 考题型式、作业方式
作业方式都是出老师上课讲的算法或是运用一些定理来解决，有六次
手写作业与两次程式作业，程式作业需要使用 ABC 来实作，需要一些 C++
背景。作业如果上课没有听懂老师讲的内容可能需要自己看投影片研读，但
是如果上课有问题问老师老师都会很乐意回答。
考试是老师自己出自己改，老师应该很重视这门课的品质，考题也都是
比较多需要对上课内容融会贯通的题型，期中与期末的考试都是这样，准备
考试的方式就是把课堂中教到的重点算法或定理复习一遍，越熟悉越好，
因为能考的部分其实就只有那几个，虽然很多但是都理解就不会太困难。
补充：如果有修过电机系老师开设的EDA课程应该就会习惯考试风格。
Final Project 主要是自己选题目，只要有用到上课所教的工具或是技
巧都可以，其实 Logic Synthesis 在非常多领域都可以有所应用，期末需要
交四页 2 column 的正式报告，这个可能比较需要提前准备，不然就会和我
一样最后几天硬生结果没有补满。
ω 其它(是否注重出席率？如果为外系选修，需先有什么基础较好吗？老师个性？
加签习惯？严禁迟到等…)
因为老师会想要认识大家，同学也不多，所以没有去上课老师应该也看
得出来，但是出席率应该是不会影响成绩，可以加签。
来修这门课应该都不会有很强的基础，可以先修过老师或系上的 EDA 再
来应该会比较好，老师人很好，讲话比较平稳，但是讲解观念都很清楚，所
以上课如果没有睡着很认真听课绝对是很OK的，不过也需要一些脑力。
Ψ 总结
虽然过半年了，但是看到这门课没有评价不忍心QQ，所以来写个，其实
这真的是一门好课，内容非常充实，不过就是需要有热忱跟兴趣才能修好就
是了！不过我猜也不会有很多人看。第一次发文请见谅。