Tharas Systems developed design verification solutions. Its introduced Hammer SX and Hammer MX products incorporate a patented, multi-core, custom-processor hardware assisted verification engine developed by Tharas that works in conjunction with Verilog and VHDL-based software simulators.