[pdq]

Nice project. FYI, this is using the Yosys Verilog synthesizer for the real magic.

https://github.com/YosysHQ/yosys