Hui-Ling Zhen

EDA nativa de IA transforma os processos de design de circuitos com modelos de circuitos grandes.

Novos métodos melhoram a geração de problemas SAT insatisfatórios para treinar melhor o aprendizado de máquina.

A VeriDistill usa aprendizado de máquina pra melhorar a eficiência e a precisão do design de circuitos.