Siddharth: the Libre-SOC team is using nmigen because it's written in python, and provides reset/correctness guarantees that verilog cannot