Working from this vision, the ECC-A team joined forces with the USFOR-A Operational Contract Support and J4 cells to form a cohesive unit to deliver a viable recommendation to the leadership.

A technical paper titled “ROVER: RTL Optimization via Verified E-Graph Rewriting” was published by researchers at Intel Corporation and Imperial College London. Abstract: “Manual RTL design and ...