Samuel Coward

Los E-graphs simplifican los procesos de verificación para circuitos de ruta de datos, mejorando la eficiencia y precisión.

SEER automatiza el diseño de hardware eficiente a partir de programas de software de alto nivel.

Craftax ofrece un ambiente desafiante para probar algoritmos de RL de manera eficiente.

ROVER simplifica el diseño RTL al automatizar procesos de optimización complejos.

Usando modelos de lenguaje grandes para simplificar la retroalimentación en el aprendizaje por refuerzo.

Un nuevo método optimiza las tablas de búsqueda usando condiciones de 'no importa'.