Auto-tuning framework for BDD packages
Yukio Miyasaka
Yukio Miyasaka received the B.E. and M.E. degrees from the University of Tokyo, Japan, in 2018 and 2020 respectively. His research interests include logic synthesis, formal verification, and high-performance computing.
Sun 2:10 am - 12:00 am