LATTE '22 Demo

Program Synthesis for Processor Control Logic

The rosette directory contains the primary control logic generation demos. The verilog and pyrtl directories have tools for translating the respective HDL to the Rosette-based IR.