Synopsys, Inc. es una empresa estadounidense de automatización de diseño electrónico (EDA) con sede en Sunnyvale, California , que se centra en el diseño y la verificación del silicio, la propiedad intelectual del silicio y la seguridad y calidad del software . Synopsys suministra herramientas y servicios a la industria de diseño y fabricación de semiconductores . Los productos incluyen herramientas para síntesis lógica y diseño físico de circuitos integrados , simuladores para desarrollo y entornos de depuración que ayudan en el diseño de la lógica para chips y sistemas informáticos. A partir de 2023 [actualizar], la empresa formará parte de los índices Nasdaq-100 y S&P 500 . [2]
Synopsys fue fundada por Aart de Geus , David Gregory y Bill Krieger en 1986 en Research Triangle Park , Carolina del Norte. La empresa se estableció inicialmente como Optimal Solutions con el objetivo de desarrollar y comercializar tecnología de síntesis lógica desarrollada por el equipo del Grupo de ingeniería avanzada asistida por computadora de General Electric . La empresa cambió su nombre a Synopsys y se trasladó a Mountain View, California en 1987. [3] Se convirtió en una empresa pública mediante una oferta pública inicial en febrero de 1992. [4] [5]
La empresa construyó una supercomputadora utilizando servidores Linux básicos y hardware disponible en el mercado en 2006 para desarrollar y ejecutar aplicaciones EDA con intensos requisitos computacionales. Con resultados de referencia LINPACK que superaron los 3,7 teraflops , la supercomputadora llegó a la lista TOP500 , ocupando el puesto 242 entre las más potentes en ese momento. [6] [7] [8]
En 2017, Synopsys estableció un fondo de inversión estratégico de 100 millones de dólares para el mercado chino. [9]
En 2018, según el Centro de Seguridad y Tecnología Emergente , Synopsys se asoció con la Universidad de Defensa Nacional del Ejército Popular de Liberación para brindar capacitación en diseño de conjuntos de puertas programables en campo . [10] Synopsys también vende software EDA a empresas bajo el control de los gobiernos regionales chinos. [11]
La compañía lanzó una herramienta de software de inteligencia artificial (IA) basada en la nube , DSO.ai, para el diseño de chips a principios de 2020. El enfoque de IA, que utiliza el aprendizaje por refuerzo , permite que la herramienta decida automáticamente cuál es la mejor manera de colocar y enrutar bloques de circuitos. en un chip. [12] [13] [14] En marzo de 2023, la empresa lanzó herramientas basadas en IA utilizadas en las otras etapas del diseño de chips, incluido VSO.ai para verificación y pruebas TSO.ai. [15] [16]
En 2020, el Departamento de Defensa de los Estados Unidos anunció Synopsys como socio en el programa de investigación de Implementación automática de silicio seguro (AISS) de DARPA junto con ARM , Boeing , IBM y otras entidades centradas en el desarrollo de herramientas de diseño automatizadas para chips seguros. [17] [18]
En abril de 2021, tras un informe del Washington Post sobre el uso de la tecnología Synopsys y Cadence Design Systems en los esfuerzos de fusión militar-civil del Ejército Popular de Liberación , [19] los legisladores estadounidenses Michael McCaul y Tom Cotton solicitaron que el Departamento de Comercio de los Estados Unidos reforzar los controles sobre las ventas de software de fabricación de semiconductores. [20] [21]
En 2022, se informó que Synopsys estaba bajo investigación por parte del Departamento de Comercio de los Estados Unidos por transferencias ilegales de tecnología a empresas sancionadas en China, como HiSilicon y Semiconductor Manufacturing International Corporation de Huawei . [22] [23]
En julio de 2022, agentes de la Oficina de Investigación del Ministerio de Justicia de Taiwán allanaron las oficinas de una empresa respaldada por Synopsys bajo sospecha de caza furtiva ilegal de ingenieros de TSMC . [24] [ ¿relevante? ]
En octubre de 2022, Synopsys se unió a la Alianza Gubernamental y Aeroespacial Militar de EE. UU. (USMAG) de Intel , en virtud de la cual Synopsys proporciona herramientas EDA seguras, propiedad intelectual y servicios de diseño para el Departamento de Defensa de EE. UU. y otras ramas gubernamentales junto con otras empresas de diseño de chips, incluidas Cadence y Siemens EDA. . [25] [26]
En agosto de 2023, Synopsys nombró a la directora de operaciones Sassine Ghazi como directora ejecutiva. Ghazi sucedió a Aart de Geus en enero de 2024, y de Geus pasó al cargo de presidente ejecutivo. [27] [28]
En noviembre de 2023, Synopsys lanzó Synopsys.ai Copilot en colaboración con Microsoft, aprovechando grandes modelos de lenguaje de OpenAI para acelerar el proceso de diseño de chips semiconductores. [29]
En enero de 2024, Synopsys anunció su intención de adquirir la empresa de software de ingeniería Ansys por 35.000 millones de dólares, en una medida que ampliaría la prominencia de Synopsys en software de simulación para diseñadores de chips, automóviles y aviones. Las empresas han tenido una asociación de investigación y desarrollo desde 2017. [28] [30]
Synopsys ha realizado algunas adquisiciones de verificación de diseño y silicio. [31]
El desarrollo de CoWare fue iniciado por el Centro Interuniversitario de Microelectrónica de Bélgica como proyecto interno en 1992; [32] cuatro años después se escindió como una empresa independiente, que suministra software y servicios de diseño a nivel de sistema electrónico (ESL) impulsado por plataforma. [33] [34] CoWare fue adquirida por Synopsys en febrero de 2010. [35] [36]
Code Dx fue una empresa estadounidense de tecnología de software activa desde 2015 hasta 2021. El producto estrella homónimo de la empresa es un sistema de gestión de vulnerabilidades que combina y correlaciona los resultados generados por una amplia variedad de herramientas de prueba estáticas y dinámicas . Fue adquirido por Synopsys en 2021. [37]
Avanti Corporation (denominada "¡Avant!") se fundó cuando varios ex empleados de Cadence Design Systems compraron la startup ArcSys, que anteriormente se fusionó con Integrated Silicon Solutions (ISS), [38] obteniendo para Avanti su herramienta de verificación de reglas de diseño y diseño versus esquema. Hercules (incluido el modelado de estructuras de silicio 3D) luego compró Compass Design Automation, que había integrado completamente el flujo de diseño de circuitos integrados y las bibliotecas ASIC , especialmente su herramienta de lugar y ruta , que Avanti reelaboró para crear Saturn y Apollo II; y también compró TMA (Technology Modeling Associates), que trajo sus herramientas pioneras de corrección óptica de proximidad TCAD y Proteus . Esta fue, con diferencia, la adquisición más importante y controvertida de Synopsys. En ese momento, Avanti era la empresa número 4 en la industria de EDA y estaba luchando con una demanda importante de Cadence por robo de software. [39] Avanti se fusionó con Synopsys el 6 de junio de 2002, durante el litigio. Synopsys pagó a Cadence unos 265 millones de dólares más para poner fin a todos los litigios. Poco después del acuerdo, la Corte Suprema de California confirmó la decisión anterior del tribunal inferior. Luego, Synopsys pagó 26,1 millones de dólares adicionales a Silvaco para resolver dos de las tres demandas de Silvaco contra Meta-Software , anteriormente comprada por Avanti, y su presidente. Las demandas fueron presentadas en 1995 y heredadas por Avanti. [40]
Synopsys acordó comprar a su competidor Magma Design Automation por unos 500 millones de dólares en un acuerdo totalmente en efectivo en noviembre de 2011. [41] [42]
Las dos empresas se enfrentaron anteriormente a prolongadas disputas de patentes desde 2004, que comenzaron cuando Synopsys acusó al cofundador de Magma, Lukas van Ginneken, de concebir la tecnología utilizada en sus productos basada en el trabajo mientras aún trabajaba en Synopsys. Si bien van Ginneken reconoció más tarde el reclamo, Magma y Synopsys continuaron disputando las patentes de cada uno. [43] Los litigios finalmente se resolvieron en 2007, cuando Magma pagó a Synopsys 12,5 millones de dólares y las empresas acordaron otorgar licencias cruzadas entre sí sobre las patentes en disputa. [44] [45]
Novas Software fue una empresa fundada en 1996 para abordar la depuración de diseños de chips. Novas fue comprada por la empresa EDA SpringSoft, con sede en Taiwán, en mayo de 2008. SpringSoft y Novas fueron adquiridas por Synopsys en 2012. [46]
Numerical Technologies, Inc. era una empresa pública de automatización de diseño electrónico ( NASDAQ : NMTC) con sede en San José . La empresa era conocida principalmente por su propiedad intelectual, herramientas de software y servicios que cubren la tecnología de máscaras de cambio de fase . El 3 de marzo de 2003, fue adquirida por Synopsys por 250 millones de dólares. [47] [48]
SpringSoft es una empresa de software que desarrolló software de depuración y diseño VLSI . La empresa se fundó con una subvención del Consejo Nacional de Ciencias de Taiwán en febrero de 1996.
En 1997, SpringSoft estableció Novas Software en Silicon Valley para comercializar el software de depuración VLSI de Springsoft . SpringSoft creó una herramienta de diseño personalizada llamada Laker y una empresa con sede en EE. UU. llamada Silicon Canvas. En mayo de 2008, SpringSoft compró Novas Software Silicon Canvas y los combinó para formar la subsidiaria de propiedad total SpringSoft USA. SpringSoft empleaba a más de 400 personas con oficinas en todo el mundo.
Synopsys anunció la adquisición de SpringSoft en 2012. [46]
Synplicity Inc. era un proveedor de software para el diseño de dispositivos lógicos programables ( FPGA , PLD y CPLD ) utilizados para sistemas de comunicaciones, militares/aeroespaciales, de consumo, semiconductores, informáticos y otros sistemas electrónicos. Las herramientas de Synplicity proporcionaron funciones de síntesis lógica , síntesis física y verificación para diseñadores de FPGA, prototipos ASIC basados en FPGA y DSP . Synplicity cotizó en Nasdaq hasta que fue adquirida por Synopsys por 227 millones de dólares en una transacción finalizada el 15 de mayo de 2008. [49]
ARC International PLC fue el diseñador de los procesadores integrados ARC ( Argonaut RISC Core), que se utilizaron ampliamente en dispositivos SoC para aplicaciones IoT , almacenamiento, hogar digital, móviles y automotrices. Virage Logic , que adquirió ARC International en 2009, se vendió a Synopsys en 2010. [50] [51]
En febrero de 2014, Synopsys acordó adquirir el proveedor de análisis de código estático Coverity por 375 millones de dólares. Synopsys confió en los productos de Coverity durante unos diez años antes de la adquisición, ayudando a mejorar la seguridad del software al encontrar y corregir defectos en el código del software antes de su lanzamiento. [52] [53]
La herramienta Coverity Scan de código abierto de Coverity fue pirateada y utilizada para minar criptomonedas en febrero de 2018. Synopsys eliminó el servicio durante cuatro semanas y confirmó que el incidente no afectó a ninguna parte de su red corporativa y no encontró evidencia de abuso de datos de su código abierto. usuarios. [54]
Synopsys anunció la adquisición de Cigital junto con su spin-off Codiscope de 2015 en noviembre de 2016. El conjunto de sus productos de seguridad de software pasó a formar parte del grupo de integridad de software de Synopsys. [55] [56]
En 2017, Synopsys adquirió la empresa de software de modelado a escala atómica QuantumWise (anteriormente Atomistix ), que proporciona herramientas para simulaciones clásicas y basadas en cuánticas en el campo de la ciencia de materiales. [57] [58]
Black Duck Software era una empresa privada centrada en automatizar el proceso de identificación y creación de un inventario de código fuente abierto utilizado en aplicaciones de software, así como en detectar vulnerabilidades de seguridad conocidas y problemas de cumplimiento de licencias. Black Duck Software fue adquirido por Synopsys en diciembre de 2017. [59]
En abril de 2022, Synopsys anunció la adquisición de WhiteHat Security por 330 millones de dólares. [60] WhiteHat Security se fundó en 2001 y proporciona seguridad de aplicaciones, así como información para equipos de DevOps. [60]
En 2023, Synopsys completó la adquisición de PikeTec, un proveedor de herramientas de verificación y prueba para software automotriz. [61]