@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).