Research in Computer-Aided Design of VLSI Circuits

这项研究是一个调查的基本方面的计算机辅助设计的超大规模集成电路。 课程内容包括高级综合、逻辑综合和物理设计，重点是现代组合优化技术在解决复杂设计自动化问题中的应用 研究有两个正交的主题，一个在高层次和逻辑综合的低功耗设计，另一个在物理设计问题的算法方法。 第二个主题是面向计算技术，展示了如何将线性，整数和凸规划和网络流等技术应用于设计自动化问题的解决方案。

This research is an investigation into fundamental aspects of computer-aided design of VLSI circuits. Topics include high level synthesis, logic synthesis and physical design, with an emphasis on the application of modern combinatorial optimization technique for the solution of complex design automation problems The research has two orthogonal themes, one in low power design in high level and logic synthesis, and the other in algorithmic approaches to physical design problems. The second theme is computational technique oriented, showing how techniques such as linear, integer and convex programming and network flow can be applied to the solution of design automation problems.