Mingxuan Yuan

RTLRewriter verbessert die RTL-Code-Optimierung und macht das Design von digitalen Schaltungen effizienter.

Ein neuer Ansatz verbessert das Hardware-Schaltkreisdesign mit Machine Learning.

VeriDistill nutzt maschinelles Lernen, um die Effizienz und Genauigkeit von Schaltplänen zu verbessern.