Synopsys, Inc. and its subsidiaries provide electronic design automation software and related services for semiconductor design companies in the United States, Europe, Japan, and the Asia Pacific. It delivers semiconductor design and verification and integrated circuit (IC) manufacturing software products to the electronics market; intellectual property (IP), system-level design hardware and software products, and design services; and software and services that help prepare and optimize designs for manufacturing. The company's galaxy design platform includes Design Compiler, a logic synthesis product; Synplify synthesis product used to optimize designs of field programmable gate arrays; IC Compiler, a physical design solution; Galaxy Custom Designer, a physical design solution; PrimeTime, a timing analysis product; PrimeYield, a tool suite for manufacturing yield enhancement; Star-RCXT, an extraction solution for analyzing IC layout data; and Hercules, a physical verification product family. Its discovery verification platform comprises VCS, a register transfer level verification solution; Formality, a verification sign-off solution; NanoSim FastSPICE, a circuit simulation product; HSIM, a hierarchical FastSPICE circuit simulation product for analog, mixed-signal, and digital IC verification; and HSPICE, a circuit simulator product.The company also offers IP and system-level solutions that enable verification and embedded software development, as well as analog-to-digital converters, digital-to-analog converters, audio codecs, and power management. Its manufacturing solutions consist of Technology-CAD products, Proteus optical proximity correction products, CATS mask data preparation products, and Yield Management products that address the mask-making and yield enhancement of small geometry IC. Synopsys also offers professional services, including consulting and design. The company was founded in 1986 and is headquartered in Mountain View, California.