Synopsys, Inc.

Тип	Публічна компанія
Правова форма	делаверська корпораціяd[1]
Галузь	індустрія програмного забезпечення
Лістинг на біржі	NASDAQ: SNPS Компонент NASDAQ-100 Компонент S&P 500
ISIN	US8716071076
Попередник(и)	C Level Designd
Засновано	1986
Засновник(и)	Aart de Geusd і Alberto Sangiovanni-Vincentellid
Штаб-квартира	Маунтін-В'ю, Каліфорнія, США
Очільник(и)	Aart de Geusd
Ключові особи	Aart J. de Geus (засновник, голова та CEO) Chi-Foon Chan (президент і COO)
Виторг	▲ $1535 млн (2011) [3]
Чистий прибуток	▲ $221.36 млн (2011) [3]
Співробітники	6,800 (2011) [4]
Дочірні компанії	Synopsys[d]
synopsys.com
Synopsys у Вікісховищі

37°23′32″ пн. ш. 122°02′50″ зх. д. / 37.3921° пн. ш. 122.0471° зх. д. / 37.3921; -122.0471

Synopsys — найбільша компанія, що працює в галузі САПР для проектування електроніки. Найбільш відомий продукт — «Design Compiler», засіб синтезу логічних схем. Також є широкий спектр інших продуктів, що використовуються при проектуванні спеціалізованих інтегральних схем. Є продукти для логічного синтезу, поведінкового синтезу^[en], розміщення і трасування, статичного часового аналізу, формальної верифікації, симуляції HDL (SystemC, Systemverilog/Verilog, VHDL), моделювання схем^[en]. Симулятори включають в себе середовища розробки та налагодження.^[5]

Synopsys була заснована Аартом де Геусом, Девідом Грегорі та Біллом Крігером у 1986 році в Дослідницькому парку Трикутника, Північна Кароліна. Спочатку компанія була заснована як Optimal Solutions з метою розробки та просування на ринок технології логічного синтезу, розробленої командою групи передового комп'ютерного інжинірингу General Electric. Компанія змінила назву на Synopsys і переїхала до Маунтін-В'ю, штат Каліфорнія, у 1987 році. Вона стала публічною компанією через первинне публічне розміщення акцій у лютому 1992 р.^[6][7]

У 2006 році компанія побудувала суперкомп'ютер, використовуючи товарні Linux-сервери та готове апаратне забезпечення, для розробки та запуску EDA-додатків з високими обчислювальними вимогами. Завдяки результатам бенчмарку LINPACK, що перевищив 3,7 терафлопс, суперкомп'ютер потрапив до списку TOP500, посівши 242 місце серед найпотужніших на той час.^[8][9][10]

У 2017 році Synopsys створила стратегічний інвестиційний фонд для китайського ринку розміром $100 млн.^[11]

У 2018 році, за даними Центру безпеки та нових технологій, Synopsys співпрацювала з Національним університетом оборони Народно-визвольної армії Китаю, щоб забезпечити навчання з проектування польових програмованих вентильних матриць.^[12] Synopsys також продає програмне забезпечення EDA компаніям, що перебувають під контролем регіональних урядів Китаю.^[13]

На початку 2020 року компанія запустила хмарний програмний інструмент штучного інтелекту (ШІ) для проектування мікросхем. Підхід ШІ, який використовує навчання з підкріпленням, дозволяє інструменту автоматично вирішувати, як найкраще розмістити та маршрутизувати блоки схем на мікросхемі.^[14][15][16] У березні 2023 року компанія розгорнула інструменти на основі ШІ, які використовуються на інших етапах проектування мікросхем, включаючи верифікацію та тестування.^[17][18]

У 2020 році Міністерство оборони США оголосило Synopsys партнером дослідницької програми DARPA "Автоматичне впровадження безпечного кремнію" (AISS) поряд з ARM, Boeing, IBM та іншими компаніями, що займаються розробкою інструментів автоматизованого проектування безпечних мікросхем.^[19][20]

У квітні 2021 року, після доповіді Washington Post про використання технологій Synopsys і Cadence Design Systems у військово-цивільному синтезі Народно-визвольної армії Китаю,^[21] американські законодавці Майкл Маккол і Том Коттон звернулися до Міністерства торгівлі США з проханням посилити контроль над продажем програмного забезпечення для виробництва напівпровідників.^[22][23]

У 2022 році повідомлялося, що Synopsys перебуває під слідством Міністерства торгівлі США за незаконну передачу технологій компаніям у Китаї, що потрапили під санкції, таким як Huawei's HiSilicon and Semiconductor Manufacturing International Corporation.^[24][25]

У липні 2022 року агенти Слідчого бюро Міністерства юстиції Тайваню провели обшук в офісі фірми, яку підтримує Synopsys, за підозрою в незаконному переманюванні інженерів з TSMC.^[26]

У жовтні 2022 року Synopsys приєдналася до Військового аерокосмічного та урядового альянсу Intel (USMAG), в рамках якого Synopsys постачає безпечні інструменти EDA, інтелектуальну власність та послуги з проектування для Міністерства оборони США та інших урядових установ разом з іншими компаніями, що займаються розробкою мікросхем, включаючи Cadence та Siemens EDA.^[27][28]

У листопаді 2023 року компанія Synopsys запустила Synopsys.ai Copilot у співпраці з Microsoft, використовуючи великі мовні моделі від OpenAI для прискорення процесу проєктування напівпровідникових чіпів^[29].

• Design Compiler

• Офіційний сайт компанії Synopsys. [Архівовано 27 березня 2021 у Wayback Machine.]
• Synopsys SolvNet [Архівовано 20 листопада 2008 у Wayback Machine.]
• Synopsys Users Group [Архівовано 14 червня 2013 у Wayback Machine.]
• Synopsys Asia Pacific [Архівовано 15 вересня 2010 у Wayback Machine.]
• Synopsys Japan [Архівовано 30 жовтня 2013 у Wayback Machine.]
• Synopsys Europe [Архівовано 15 вересня 2010 у Wayback Machine.]
• Events@Synopsys
• Synopsys Corporate Blogs
• Synopsys Publications

Це незавершена стаття про підприємство. Ви можете допомогти проєкту, виправивши або дописавши її.