Mingxuan Yuan

RTLRewriter enhances RTL code optimization, making digital circuit design more efficient.

A new approach improves hardware circuit design using machine learning.

VeriDistill uses machine learning to improve circuit design efficiency and accuracy.