:letsgo3:
./yosys-plugin/
We provide a Yosys plugin, which can output Churchroad IR from Yosys. Please see the README in that directory for information on building and using the plugin.