Riviera-PRO VS ACTS

Synopsys VCS - HDL Simulator of System Verilog, Verilog, and VHDL for ASIC design and verification.

libmv - libmv is a structure from motion library, which plans to one day take raw video footage or...

ModelSim - ModelSim-Altera Software

VideoTrace - VideoTrace is a system for interactively generating realistic 3D models of objects from...

Cadence Incisive - System Verilog, Verilog, VHDL, SystemC HDL Simulator for ASIC Design and Verification

VCS - Workforce management software for police & fire departments