Hardware description language (HDL) logic simulation, testbench execution (UVM/SystemVerilog), formal property proofs, static CDC/lint checking, and multi-signal waveform debugging.
Synopsys VCS
Native compiled-code simulation engine delivering maximum throughput for SystemVerilog, Verilog, VHDL, and UVM with fine-grained multi-core parallelism.
Cadence Xcelium
Multi-core parallel logic simulator leveraging machine learning and distributed computing to accelerate full-chip verification regressions.
Siemens QuestaSim / ModelSim
Industry-standard simulation engine supporting mixed-language design verification, automated testbench generation, code coverage, and SVA assertions.
Cadence JasperGold
Mathematical property-proving platform that exhaustively verifies RTL behavior, security guarantees, and protocol assertions without testbenches.
Synopsys SpyGlass
Static RTL rule checker detecting syntax defects, clock domain crossing (CDC) metastability, reset domain crossing (RDC), and UPF power intent.
Synopsys Verdi
Golden debug platform featuring automated signal tracing, temporal behavior extraction, unified transaction logging (FSDB), and schematic exploration.
Verilator
Compiles synthesizable Verilog/SystemVerilog into optimized C++ or SystemC multi-threaded executable models for high-throughput software-driven testbenches.
$ verilator -Wall --cc top.v --exe tb_top.cpp && make -j -C obj_dirIcarus Verilog (iverilog)
Open-source IEEE-1364 Verilog simulation engine and synthesis preprocessor that compiles RTL into VVP bytecode for rapid interactive testbench runs.
$ iverilog -o sim.vvp -g2012 top.v top_tb.v && vvp sim.vvpSymbiYosys (SBY)
Front-end formal verification tool for Yosys utilizing Z3, Yices2, and Boolector SMT solvers for Bounded Model Checking (BMC) and mathematical induction.
$ sby -f proof_properties.sbyGTKWave / Surfer
High-performance open-source waveform viewers supporting VCD, FST, and GHW formats with hierarchical signal browsing and transaction bus tracing.
$ gtkwave dump.vcd | surfer dump.fstVerible / SVLint
Google suite of open-source SystemVerilog tools providing high-speed parsing, style linting, syntax formatting, and language server protocol (LSP) indexing.
$ verible-verilog-lint rtl/*.v