計算機輔助設計特論

Computer-aided design (CAD) techniques are essential for modern complex designs. In this course, the CAD techniques for the synthesis and verification of VLSI designs are introduced. Besides using those CAD tools, our focus is the insight techniques and algorithms to develop the synthesis and verification tools. These contents are important background knowledge to do the related researches. For those students whose research directions are not CAD-related topics, better understanding of CAD tools also helps to use those tools better.

Prerequisites: Computer programming, Introduction to digital systems and VLSI design

Midterm: 30%, Final: 30%, Projects: 40%

• Introduction to CAD techniques for design and verification
• Binary decision diagram (BDD)
• RTL synthesis & logic optimization
• Technology mapping & timing optimization
• Verification methodology for SoC
• Coverage-driven functional verification methodology
• Formal verification techniques
• Analog/mixed-signal system verification
• Synthesis of analog circuits

Reference Books: 1. Giovanni De Micheli, "Synthesis and Optimization of Digital Circuits", McGraw-Hill, 1994. 2. Prakash Rashinkar, Peter Paterson, and Leena Singh, "System-on-a-chip Verification – Methodology and Techniques", Kluwer Academic Publishers, 2001. 3. L.-T. Wang, Y.-W. Chang, and K.-T. Cheng, "Electronic Design Automation: Synthesis, Verification, and Testing", Elsevier/Morgan Kaufmann, 2009.

地點

Office (ED-540)

時間

Thursday 1000-1200

聯絡方式

Email appointment is preferred.