Synopsys, Inc. — американская компания по автоматизации электронного проектирования (EDA) со штаб-квартирой в Саннивейле, Калифорния , которая специализируется на проектировании и проверке микросхем, интеллектуальной собственности на полупроводники , а также безопасности и качестве программного обеспечения. Synopsys поставляет инструменты и услуги для индустрии проектирования и производства полупроводников . Продукты включают инструменты для логического синтеза и физического проектирования интегральных схем , симуляторы для разработки и среды отладки , которые помогают проектировать логику для микросхем и компьютерных систем. По состоянию на 2023 год [обновлять]компания входит в индексы Nasdaq-100 и S&P 500 . [2]
Synopsys была основана Аартом де Геусом , Дэвидом Грегори и Биллом Кригером в 1986 году в Research Triangle Park , Северная Каролина. Первоначально компания была основана как Optimal Solutions с целью разработки и продвижения на рынок технологии логического синтеза, разработанной командой группы перспективного компьютерного проектирования General Electric . Компания сменила название на Synopsys и переехала в Маунтин-Вью, Калифорния, в 1987 году. [3] Она стала публичной компанией в результате первичного публичного размещения акций в феврале 1992 года. [4] [5]
В 2006 году компания построила суперкомпьютер , используя стандартные серверы Linux и готовое оборудование, для разработки и запуска приложений EDA с высокими вычислительными требованиями. Благодаря результатам тестов LINPACK , превысившим 3,7 терафлопс , суперкомпьютер вошел в список TOP500 , заняв 242-е место среди самых мощных на тот момент. [6] [7] [8]
В 2017 году Synopsys учредила стратегический инвестиционный фонд стоимостью 100 миллионов долларов для китайского рынка. [9]
По данным Центра безопасности и новых технологий , в 2018 году компания Synopsys заключила партнерское соглашение с Университетом национальной обороны Народно-освободительной армии, чтобы провести обучение проектированию программируемых вентильных решеток . [10] Synopsys также продает программное обеспечение EDA компаниям, находящимся под контролем региональных правительств Китая. [11]
В начале 2020 года компания запустила облачный программный инструмент искусственного интеллекта (ИИ) DSO.ai для проектирования микросхем. Подход ИИ, использующий обучение с подкреплением , позволяет инструменту автоматически решать, как лучше всего размещать и маршрутизировать блоки схемы. на чипе. [12] [13] [14] В марте 2023 года компания представила инструменты на основе искусственного интеллекта, используемые на других этапах проектирования чипов, включая VSO.ai для проверки и тестирования TSO.ai. [15] [16]
В 2020 году Министерство обороны США объявило Synopsys партнером исследовательской программы DARPA по автоматической реализации Secure Silicon (AISS) вместе с ARM , Boeing , IBM и другими организациями, занимающимися разработкой инструментов автоматизированного проектирования защищенных чипов. [17] [18]
В апреле 2021 года, после отчета Washington Post об использовании технологий Synopsys и Cadence Design Systems в усилиях Народно-освободительной армии по слиянию военно-гражданской армии , [19] законодатели США Майкл МакКол и Том Коттон обратились к Министерству торговли США с просьбой ужесточить контроль над продажами программного обеспечения для производства полупроводников. [20] [21]
В 2022 году сообщалось, что Synopsys находится под расследованием Министерства торговли США по факту незаконной передачи технологий попавшим под санкции компаниям в Китае, таким как HiSilicon and Semiconductor Manufacturing International Corporation компании Huawei . [22] [23]
В июле 2022 года агенты Бюро расследований Министерства юстиции Тайваня совершили обыск в офисах фирмы, поддерживаемой Synopsys, по подозрению в незаконном переманивании инженеров из TSMC . [24] [ актуально? ]
В октябре 2022 года компания Synopsys присоединилась к Альянсу Intel в военной аэрокосмической и правительственной сфере США (USMAG), в рамках которого Synopsys поставляет безопасные инструменты EDA, интеллектуальную собственность и услуги по проектированию для Министерства обороны США и других государственных ведомств наряду с другими компаниями-разработчиками микросхем, включая Cadence и Siemens EDA. . [25] [26]
В августе 2023 года Synopsys назначила генеральным директором операционного директора Сассина Гази. Гази сменил Аарта де Геуса в январе 2024 года, при этом де Геус перешел на должность исполнительного председателя. [27] [28]
В ноябре 2023 года Synopsys запустила Synopsys.ai Copilot в сотрудничестве с Microsoft, используя большие языковые модели OpenAI для ускорения процесса проектирования полупроводниковых чипов. [29]
В январе 2024 года Synopsys объявила о своем намерении приобрести компанию Ansys , занимающуюся инженерным программным обеспечением, за 35 миллиардов долларов, что расширит известность Synopsys в области программного обеспечения для моделирования для разработчиков микросхем, автомобилей и самолетов. С 2017 года компании сотрудничают в области исследований и разработок. [28] [30]
Компания Synopsys приобрела несколько микросхем и средств для проверки конструкции. [31]
Разработка CoWare была инициирована Межуниверситетским центром микроэлектроники в Бельгии как внутренний проект в 1992 году; [32] четыре года спустя она выделилась в независимую компанию, поставляющую программное обеспечение и услуги для проектирования на уровне электронных систем (ESL). [33] [34] CoWare была приобретена Synopsys в феврале 2010 года. [35] [36]
Code Dx — американская компания, занимающаяся разработкой программного обеспечения, действовавшая с 2015 по 2021 год. Одноименный флагманский продукт компании — это система управления уязвимостями, которая объединяет и сопоставляет результаты, полученные с помощью широкого спектра инструментов статического и динамического тестирования. Он был приобретен Synopsys в 2021 году. [37]
Корпорация Avanti (известная как «Avant!») была основана, когда несколько бывших сотрудников Cadence Design Systems купили стартап ArcSys, который ранее был объединен с Integrated Silicon Solutions (ISS), [38] получив Avanti свой инструмент для проверки правил проектирования и компоновки вместо инструмента для создания схем. Hercules (включая 3D-моделирование кремниевых структур), затем купила Compass Design Automation, которая имела полностью интегрированный процесс проектирования микросхем и библиотеки ASIC , особенно инструмент размещения и маршрутизации , который Avanti переработала для создания Saturn и Apollo II; а также купила TMA (Technology Modeling Associates), которая представила свои новаторские инструменты оптической коррекции близости TCAD и Proteus . Это было, безусловно, самое значительное и противоречивое приобретение Synopsys. В то время Avanti была компанией №4 в индустрии EDA и боролась с крупным иском от Cadence за кражу программного обеспечения. [39] Avanti была объединена с Synopsys 6 июня 2002 года во время судебного разбирательства. Synopsys выплатила Кэденс еще около 265 миллионов долларов, чтобы она завершила все судебные разбирательства. Вскоре после урегулирования Верховный суд Калифорнии оставил в силе ранее принятое решение суда низшей инстанции. Затем Synopsys выплатила Silvaco дополнительные 26,1 миллиона долларов для урегулирования двух из трех исков Silvaco против Meta-Software , ранее купленной Avanti, и ее президента. Иски были поданы в 1995 году и унаследованы Аванти. [40]
Synopsys согласилась купить своего конкурента Magma Design Automation примерно за 500 миллионов долларов в рамках сделки за наличные в ноябре 2011 года. [41] [42]
Обе компании ранее сталкивались с затянувшимися патентными спорами, начиная с 2004 года, которые начались, когда Synopsys обвинила соучредителя Magma Лукаса ван Гиннекена в том, что он разработал технологию, используемую в их продуктах, на основе исследований, когда он еще работал в Synopsys. Хотя позже ван Гиннекен признал это утверждение, Magma и Synopsys продолжали оспаривать патенты друг друга. [43] В конечном итоге судебные разбирательства были урегулированы в 2007 году: Magma выплатила Synopsys 12,5 миллионов долларов, а компании согласились перекрестно лицензировать спорные патенты друг другу. [44] [45]
Novas Software — компания, основанная в 1996 году для отладки конструкций микросхем. Novas была куплена тайваньской компанией EDA SpringSoft в мае 2008 года. SpringSoft и Novas были приобретены Synopsys в 2012 году. [46]
Numerical Technologies, Inc. — публичная компания по автоматизации электронного проектирования ( NASDAQ : NMTC) из Сан-Хосе . Компания была прежде всего известна своей интеллектуальной собственностью, программными инструментами и услугами, охватывающими технологию фазосдвигающих масок . 3 марта 2003 года она была приобретена Synopsys за 250 миллионов долларов. [47] [48]
SpringSoft — компания-разработчик программного обеспечения, разработавшая программное обеспечение для проектирования и отладки СБИС . Компания была основана на грант Тайваньского национального научного совета в феврале 1996 года.
В 1997 году компания SpringSoft основала Novas Software в Кремниевой долине для продвижения программного обеспечения Springsoft для отладки СБИС . SpringSoft создала специальный инструмент для макетирования под названием Laker и американскую компанию Silicon Canvas. В мае 2008 года SpringSoft приобрела Novas Software Silicon Canvas и объединила их в дочернюю компанию SpringSoft USA. В SpringSoft работало более 400 человек в офисах по всему миру.
Synopsys объявила о приобретении SpringSoft в 2012 году. [46]
Synplicity Inc. была поставщиком программного обеспечения для проектирования программируемых логических устройств ( FPGA , PLD и CPLD ), используемых в коммуникационных, военных/аэрокосмических, потребительских, полупроводниковых, компьютерных и других электронных системах. Инструменты Synplicity обеспечивали функции логического синтеза , физического синтеза и проверки для FPGA, прототипирования ASIC на основе FPGA и разработчиков DSP . Synplicity котировалась на Nasdaq, пока не была приобретена Synopsys за 227 миллионов долларов в результате сделки, завершенной 15 мая 2008 года .
Компания ARC International PLC была разработчиком встроенных процессоров ARC ( Argonaut RISC Core), которые широко использовались в устройствах SoC для Интернета вещей , систем хранения данных, цифрового дома, мобильных и автомобильных приложений. Virage Logic , которая приобрела ARC International в 2009 году, была продана Synopsys в 2010 году. [50] [51]
В феврале 2014 года Synopsys согласилась приобрести поставщика статического анализа кода Coverity за 375 миллионов долларов. Synopsys полагалась на продукты Coverity около десяти лет до приобретения, помогая улучшить безопасность программного обеспечения, находя и исправляя дефекты в программном коде до его выпуска. [52] [53]
Инструмент Coverity Scan с открытым исходным кодом компании Coverity был взломан и использован для майнинга криптовалюты в феврале 2018 года. Synopsys отключила сервис на четыре недели и подтвердила, что инцидент не затронул ни одну из ее корпоративной сети, и не обнаружила никаких доказательств злоупотребления данными в своей сети с открытым исходным кодом. пользователи. [54]
В ноябре 2016 года Synopsys объявила о приобретении Cigital вместе с ее дочерней компанией Codiscope, выпущенной в 2015 году. Набор ее продуктов для обеспечения безопасности программного обеспечения стал частью группы Synopsys по обеспечению целостности программного обеспечения. [55] [56]
В 2017 году Synopsys приобрела компанию QuantumWise, занимающуюся разработкой программного обеспечения для моделирования атомного масштаба (ранее Atomistix ), которая предоставляет инструменты для квантового и классического моделирования в области материаловедения. [57] [58]
Black Duck Software была частной компанией, занимавшейся автоматизацией процесса выявления и создания инвентаризации открытого исходного кода, используемого в программных приложениях, а также обнаружением известных уязвимостей безопасности и проблем с соблюдением лицензий. Black Duck Software была приобретена Synopsys в декабре 2017 года. [59]
В апреле 2022 года Synopsys объявила о приобретении WhiteHat Security за 330 миллионов долларов. [60] Компания WhiteHat Security была основана в 2001 году и обеспечивает безопасность приложений, а также предоставляет аналитическую информацию для команд DevOps. [60]
В 2023 году Synopsys завершила приобретение PikeTec, поставщика инструментов проверки и тестирования автомобильного программного обеспечения. [61]