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...
Comments
Post a Comment