Samuel Coward

E-graphs simplify verification processes for datapath circuits, enhancing efficiency and accuracy.

SEER automates efficient hardware design from high-level software programs.

Craftax offers a challenging environment for testing RL algorithms efficiently.

ROVER simplifies RTL design by automating complex optimization processes.

Using large language models to simplify feedback in reinforcement learning.

A new method optimizes lookup tables using 'don't care' conditions.