※ [本文转录自 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，所以来写个，其实 这真的是一门好课，内容非常充实，不过就是需要有热忱跟兴趣才能修好就 是了！不过我猜也不会有很多人看。第一次发文请见谅。 --

※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 140.112.217.44 ※ 文章网址: https://webptt.com/cn.aspx?n=bbs/NTUcourse/M.1503169562.A.CE6.html

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: danny8508021 (140.112.217.44), 08/20/2017 03:14:36