Mingxuan Yuan

RTLRewriter migliora l'ottimizzazione del codice RTL, rendendo la progettazione dei circuiti digitali più efficiente.

Un nuovo approccio migliora il design dei circuiti hardware usando il machine learning.

VeriDistill usa l'apprendimento automatico per migliorare l'efficienza e la precisione nel design dei circuiti.