There is Verilator (https://github.com/verilator/verilator https://github.com/verilator/verilator). While it, frankly, doesn't hold a candle to the proprietary

There is Verilator (https://github.com/verilator/verilator https://github.com/verilator/verilator). While it, frankly, doesn't hold a candle to the proprietary tools like Synopsys, it's a starting point and serves as a wonderful way to do research and actually learn about hardware.