Synopsys — найбільша компанія, що працює в галузі САПР для проектування електроніки. Найбільш відомий продукт — «Design Compiler», засіб синтезу логічних схем. Також є широкий спектр інших продуктів, що використовуються при проектуванні спеціалізованих інтегральних схем. Є продукти для логічного синтезу, поведінкового синтезу, розміщення і трасування, статичного часового аналізу, формальної верифікації, симуляції HDL, моделювання схем. Симулятори включають в себе середовища розробки та налагодження. Wikipedia