专用集成电路与系统国家重点实验室 讲座信息 题 目:Majority-based synthesis for Digital Nanotechnologies 报告人:Professor Giovanni De Micheli 时 间:2016年5月13日下午1:30-3:30 地 点:张江校区微电子楼369室 Abstract Logic synthesis/optimization algorithms and tools have been used for over three decades. Still they suffer from various weaknesses, because they were conceived with CMOS AOI static gates in mind, with more primitive computers and storage systems, and without a strong formal basis. The design of large-scale, computation oriented, digital circuits is still a main challenge even with state of the art commercial tools. Because of the convergence of fabrication technologies, the competitive edge in CMOS design resides in its logic-level structuring achieved within synthesis. Moreover, novel nano-technologies open new horizons by means of logic gates with enhanced functionality. Thus, more than ever, synthesis technology is a key to exploit technology in the search for the best design. This talk shows the motivation for searching better models and algorithms – as compared to the state of the art – for logic synthesis. A new Boolean algebra and model is shown to be effective for digital circuit optimization for speed, area and power consumption. Experimental results show that the new tool, MIGHTY, outperforms a commercial tool on the three metrics after complete physical design. Biography Giovanni De Micheli is Professor and Director of the Institute of Electrical Engineering at EPFL. He is program leader of the Nano-Tera.ch program. Previously, he was Professor of Electrical Engineering at Stanford University. Prof. De Micheli is a Fellow of ACM and IEEE and a member of the Academia Europaea. He is author of Synthesis and Optimization of Digital Circuits, McGraw-Hill, 1994, co-author and/or co-editor of eight other books and of over 700 technical articles. He is member of the Scientific Advisory Board of IMEC (Leuven, B), CfAED (Dresden, D) and STMicroelectronics. Prof. De Micheli is the recipient of the 2016 EDAA Lifetime Achievement Award, the 2012 IEEE/CAS Mac Van Valkenburg award for contributions to theory, practice and experimentation in design methods and tools, of the 2003 IEEE Emanuel Piore Award for contributions to computer-aided synthesis of digital systems. He received also the Golden Jubilee Medal for outstanding contributions to the IEEE CAS Society in 2000, the D. Pederson Award for the best paper on the IEEE Transactions on CAD/ICAS in 1987, and several Best Paper Awards, including DAC (1983 and 1993), DATE (2005) and Nanoarch (2010 and 2012). |