RTL Optimization Via Verified E-Graph Rewriting (Intel, Imperial College London)


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 optimization remains prevalent across the semiconductor industry because commercial logic and high-level synthesis tools are unable to match human designs. Our experience in industrial datapath des... » read more

Greetings From Mars


Hello Mars. Congratulations to the amazing engineers and scientists at NASA and Jet Propulsion Labs (JPL) for a successful touchdown on the Mars Jezero Crater. In July 2020, NASA launched the Perseverance rover mission, which sought to find signs of habitable conditions, search for biosignatures, and collect samples for future Mars-sample-return missions and human expeditions. Seven months l... » read more