@PeterCxy I didn't check at all, but I have to say that someone MUST have already written a VHDL/Verilog to redstone compiler or synthesizer.

@niconiconi I might have seen one too but it generates very sub-optimal circuits and is quite useless for anything large.

@PeterCxy Agree, a fully functional EDA would be great. Perhaps we also need bounded model checking and formal verification tools for redstone 🤣

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!