Mastodon Feed
Reblogged by cstanhope@social.coop ("Your friendly 'net denizen"):
CanLehmann ("Can Lehmann") wrote:
I just released the RTL intermediate representation I originally wrote for my HLS compiler as open source software 🎉
It includes verilog codegen, visualization, simulation, theorem proving and a simple high level DSL: https://github.com/can-lehmann/hdl.cpp