EVENT: Design Automation Meets Artificial Intelligence
Who: Dr. Michael Hsio, Professor, IEEE Fellow, Dept. of Electrical and Computer Engineering, Virginia Tech
What: Presentation - Design Automation Meets Artificial Intelligence
Where: Room 246 Nichols Hall, KU West Campus
When: 2:00 p.m. Monday, May 1
Why: Refreshments will be served
Abstract: Electronic Design Automation (EDA) has been around for more than half a century. They have brought us tools that range from analyzing circuits to performing circuit optimization, verification and synthesis. In all the EDA tasks, formal methods have played a major role in realizing the automation goals. Artificial intelligence (AI), on the other hand, have played limited roles. With the recent advances in AI, the potential of EDA can be seen in a new light. Not only can it realize what humans can do, it can probably and most likely also accomplish what humans cannot, such as automatically designing bug-free, functionally correct hardware and software from a given spec. In this talk, we will discuss the advances made in functional verification and automated synthesis and where the combination of EDA and AI might take us in the coming years to handle and manage larger and more complex systems.
Bio: Michael Hsiao is a professor in the Department of Electrical and Computer Engineering at Virginia Tech. He received the B.S. degree in computer engineering (highest honors) and the M.S. and Ph.D. degrees in electrical engineering from the University of Illinois at Urbana-Champaign in 1992, 1993 and 1997, respectively. His research has been recognized for the most influential papers in the first ten years (1998-2007) of Design Automation and Test Conference in Europe (DATE), best paper award at the 2010 IEEE Asian Test Symposium, the best student paper award at the 2012 IEEE International Test Conference, and the NSF CAREER Award. Over the years, he has served as associate editor on IEEE Trans. Computers, ACM Trans. Design Automation of Electronic Systems, as well as on editorial boards of several journals and on program committee for numerous international conferences. His current research interests include design automation of hardware and software. He is a Fellow of IEEE.
What: Presentation - Design Automation Meets Artificial Intelligence
Where: Room 246 Nichols Hall, KU West Campus
When: 2:00 p.m. Monday, May 1
Why: Refreshments will be served
Abstract: Electronic Design Automation (EDA) has been around for more than half a century. They have brought us tools that range from analyzing circuits to performing circuit optimization, verification and synthesis. In all the EDA tasks, formal methods have played a major role in realizing the automation goals. Artificial intelligence (AI), on the other hand, have played limited roles. With the recent advances in AI, the potential of EDA can be seen in a new light. Not only can it realize what humans can do, it can probably and most likely also accomplish what humans cannot, such as automatically designing bug-free, functionally correct hardware and software from a given spec. In this talk, we will discuss the advances made in functional verification and automated synthesis and where the combination of EDA and AI might take us in the coming years to handle and manage larger and more complex systems.
Bio: Michael Hsiao is a professor in the Department of Electrical and Computer Engineering at Virginia Tech. He received the B.S. degree in computer engineering (highest honors) and the M.S. and Ph.D. degrees in electrical engineering from the University of Illinois at Urbana-Champaign in 1992, 1993 and 1997, respectively. His research has been recognized for the most influential papers in the first ten years (1998-2007) of Design Automation and Test Conference in Europe (DATE), best paper award at the 2010 IEEE Asian Test Symposium, the best student paper award at the 2012 IEEE International Test Conference, and the NSF CAREER Award. Over the years, he has served as associate editor on IEEE Trans. Computers, ACM Trans. Design Automation of Electronic Systems, as well as on editorial boards of several journals and on program committee for numerous international conferences. His current research interests include design automation of hardware and software. He is a Fellow of IEEE.
Comments
Post a Comment