Mingxuan Yuan

RTLRewriter améliore l'optimisation du code RTL, rendant la conception de circuits numériques plus efficace.

Une nouvelle approche améliore la conception des circuits matériels en utilisant l'apprentissage automatique.

VeriDistill utilise l'apprentissage automatique pour améliorer l'efficacité et la précision de la conception des circuits.