CASS Talks 2022 - Alan Mishchenko, University of Berkeley, USA - October 14, 2022 скачать в хорошем качестве

CASS Talks 2022 - Alan Mishchenko, University of Berkeley, USA - October 14, 2022

CASS Talks 2022 - October 14, 2022 Towards Next Generation Logic Synthesis and Verification Prof. Alan Mishchenko University of Berkeley, USA Abstract: Given the progress achieved over the last fifty years in logic synthesis and verification, it is tempting to believe that most of the research discoveries have already been made, and the role of future researchers and engineers is just to maintain the CAD tools and occasionally make small changes, such as adding concurrency or employing machine learning to generate better scripts.  Nothing could be farther from the truth.  In this talk, we explore several orthogonal innovations in the fundamental research used to build synthesis tools targeting FPGAs and ASICs. These innovations include using novel data structures, leveraging synergistic optimization engines, and simultaneously exploring previously-unrelated search spaces. Most of these improvements are work-in-progress with early results demonstrating better quality and faster runtimes. Short CV: Alan graduated with M.S. from Moscow Institute of Physics and Technology (Moscow, Russia) in 1993 and received his Ph.D. from Glushkov Institute of Cybernetics (Kiev, Ukraine) in 1997. In 2002, Alan joined the EECS Department at University of California, Berkeley, where he is currently a full researcher. His research is in computationally efficient logic synthesis, formal verification, and machine learning.