Skip to content

FPGA synthesis tool powered by equality saturation and program synthesis.

License

Notifications You must be signed in to change notification settings

gussmith23/churchroad

Repository files navigation

Churchroad

:letsgo3:

Yosys Plugin

./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.

About

FPGA synthesis tool powered by equality saturation and program synthesis.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages