@suarezvictor There are lots of different options, Verilator and Icarus are very popular for digital level simulation and there has been a bunch of recent work to improve Verilator's support for gate level simulation (like early support for user defined primitives).
Linen is a search-engine friendly community platform. We offer integrations with existing Slack/Discord communities and make those conversations Google-searchable.
