Is there an EDA for redstone
@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 🤣
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!