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...
Riviera-PRO - System Verilog, Verilog. VHDL, SystemC, HDL simulator targeting ASIC and large FPGA designs.
VideoTrace - VideoTrace is a system for interactively generating realistic 3D models of objects from...
VCS - Workforce management software for police & fire departments
ACTS - ACTS is an automatic camera tracking system which can efficiently and stably recover camera motion...