Products include logic synthesis, behavioral synthesis, place and route, static timing analysis, formal verification, HDL (SystemC, SystemVerilog/Verilog, VHDL) simulators as well as transistor-level circuit simulation.
Имеются продукты для логического синтеза, поведенческого синтеза, трассировки элементов, статического временного анализа, формальной верификации, симуляции HDL (SystemC, SystemVerilog/Verilog, VHDL), моделирования схем.