Linux

Free Download Synopsys Formality vV-2023.12-SP3 Linux | 1.2 Gb
Synopsys, Inc.has releasedFormality vV-2023.12-SP3, the industry's formal verification tool for equivalency checking of million-gate, system-on-a-chip (SOC) designs.
Formalityis an equivalence-checking (EC) solution that uses formal, static techniques to determine if two versions of a design are functionally equivalent. Formality delivers capabilities for ECO assistance and advanced debugging to help guide the user in implementing and verifying ECOs. These capabilities significantly shorten the ECO implementation cycle. The size and complexity of today's designs, coupled with the challenges of meeting timing, area, power and schedule, requires that the newest, most advanced synthesis optimizations be fully verifiable. Formality supports all of the out-of- the-box Design Compiler and Fusion Compiler optimizations and so provides the highest quality of results that are fully verifiable. Formality supports verification of power-up and power-down states, multi-voltage, multi-supply and clock gated designs. Formality's easy-to-use, flow-based graphical user interface and auto-setup mode helps even new users successfully complete verification in the shortest possible time.

Free Download PathWave Advanced Design System (ADS) 2026 Update 1 Linux | 5.1 Gb
Keysight is releasing Advanced Design System (ADS) 2026 Update 1. This update includes features usability improvements for RFPro, SmartMount for 3D components, and ehanced Python support for Data Display.
Advanced Design System (ADS) 2026 introduces new capabilities for RF/MW, High-Speed Digital, Power, and Quantum Electronics applications, with powerful enhancements to 3DEM, layout verification, electro-thermal simulation, circuit simulation models, data and design management, and high-performance computing (HPC).
Owner:Keysight Technologies Inc.
Product Name:PathWave Advanced Design System (ADS)
Version:2026 Update 1
Supported Architectures:x64
Website Home Page :www.keysight.com
Languages Supported:english
System Requirements:Linux *
Size:5.1 Gb

Free Download Synopsys VCS Verilog Simulator vX-2025.06 | 11.8 Gb
Synopsys, Inc.has releasedVCS Verilog Simulator vW-2025.06is the primary verification solution used by the majority of the world's top 20 semiconductor companies. VCS provides the industry's highest performance simulation and constraint solver engines.
Owner:Synopsys
Product Name:VCS - The high-performance, high-capacity Verilog Simulator
Version:vW-2025.06
Supported Architectures:x86_64
Website Home Page :www.synopsys.com
Languages Supported:english
System Requirements:Linux *
Size:11.8 Gb

Free Download Synopsys PrimeSim XA vX-2025.06 | 2.7 Gb
Synopsys, Inc.has releasedPrimeSim XA vX-2025.06, the leading FastSPICE technology for SRAM and mixed-signal verification.
PrimeSim XA simulator, an integral part of the PrimeSim solution is the leading FastSPICE for SRAM, Custom Digital and mixed-signal verification. PrimeSim XA's breakthrough patented technologies deliver superior performance and capacity while maintaining SPICE accuracy. Advanced simulation intelligence automatically recognizes devices, topologies and hierarchies and employs the most efficient techniques to accurately simulate any design type. PrimeSim XA is fully integrated with PrimeWave™, a newly architected design environment and waveform viewer that encapsulates analysis and display requirement that drastically improves productivity. Additionally, PrimeSim XA is a key engine inside the PrimeSim™ Reliability Analysis, a set of comprehensive solutions (Fault simulation, Static Circuit Check, IR/EM, Variation) that analyzes the full spectrum of a product life cycle, from early-life to end-of-life.
Owner:Synopsys
Product Name:PrimeSim XA
Version:vX-2025.06
Supported Architectures:x86_64
Website Home Page :www.synopsys.com
Languages Supported:english
System Requirements:Linux *
Size:2.7 Gb

Free Download Siemens Calibre 2024.1 Build 28.16 Linux | 18.5 Gb
Siemens Digital Industries Softwarehas released Calibre 2024.1 (28.16)is a suite of electronic design automation (EDA) software tools used for integrated circuit (IC) verification.
Owner:Siemens EDA (formerly Mentor Graphics)
Product Name:Calibre
Version:2024.1 (28.16) aoj & aok
Supported Architectures:x86-64
Website Home Page :www.siemens.com
Languages Supported:english
System Requirements:Linux *
Size:18.5 Gb

Free Download Cadence Digital Design Implementation (DDI) System 25.10.001-ISR1 | 27.5 GB

Cadence Digital Design Implementation (DDI) System 25.10.001 delivers a unified installation package that combines three major Cadence digital design tools—Genus Synthesis Solution, Joules RTL Power Solution, and the Innovus Implementation System. This integrated environment provides advanced interoperability features to streamline SOC and digital IC development workflows.

This latest release enhances performance, productivity, and physical design accuracy through cutting-edge technologies such as iSpatial, Physical Restructuring, Smart XOR, and Power Replay. With stronger tool integration and improved runtime efficiency, the DDI platform enables semiconductor teams to achieve better power, performance, and area (PPA) targets.

Owner: Cadence
Product Name: Digital Design Implementation (DDI) System
Version: 25.10.001-ISR1 (September 02, 2025)
Architecture: x86_64
Supported OS: Linux
Languages: English
Size: 27.5 GB
Home Page:

www.cadence.com

Free Download Synopsys VC Static vW-2024.09 SP1 | 29.4 Gb
Synopsys, Inc.has releasedVC Static vW-2024.09-SP1is a high capacity, high performance formal verification solution that includes best-in-class algorithms, methodologies, databases and user interfaces.

Free Download Schrodinger Suites 2025-4 Advanced Linux | 12.2 Gb
The software developerSchrödingercontinuously strive to develop scientific solutions that push the boundaries of molecular design and are delighted to share enhanced drug discovery and materials workflows inSchrödinger's 2025-4software release.

Free Download Siemens Calibre 2024.1 Build 15.1 Linux | 8.6 Gb
Siemens Digital Industries Softwarehas released Calibre 2024.1 is a suite of electronic design automation (EDA) software tools used for integrated circuit (IC) verification.
Owner:Siemens EDA (formerly Mentor Graphics)
Product Name:Calibre
Version:2024.1 (15.1) aoj
Supported Architectures:x86-64
Website Home Page :www.siemens.com
Languages Supported:english
System Requirements:Linux *
Size:8.6 Gb
Siemens Calibreis a suite of integrated circuit design tools designed for design engineers. These products enable users to perform physical verification of full-chip design layouts during the early stage in the design cycles, check against electrical and physical design rules, identify areas of layout with excess vulnerability to random particle defects, run signoff DRC and LVS checking of complete multi-die systems at any process node, and monitor standalone interposer/package connectivity without including the individual die design databases. Products include Calibre nmDRC, Calibre nmDRC Recon, Calibre Pattern Matching, Calibre Multi-Patterning, Calibre 3DSTACK, Calibre Auto Waivers, and Calibre YieldAnalyzer.

Free Download Synopsys PrimeSim XA vW-2024.09 SP1 Linux | 2.7 Gb
Synopsys, Inc.has releasedPrimeSim XA vW-2024.09-SP1, the leading FastSPICE technology for SRAM and mixed-signal verification.
PrimeSim XA simulator, an integral part of the PrimeSim solution is the leading FastSPICE for SRAM, Custom Digital and mixed-signal verification. PrimeSim XA's breakthrough patented technologies deliver superior performance and capacity while maintaining SPICE accuracy. Advanced simulation intelligence automatically recognizes devices, topologies and hierarchies and employs the most efficient techniques to accurately simulate any design type. PrimeSim XA is fully integrated with PrimeWave™, a newly architected design environment and waveform viewer that encapsulates analysis and display requirement that drastically improves productivity. Additionally, PrimeSim XA is a key engine inside the PrimeSim™ Reliability Analysis, a set of comprehensive solutions (Fault simulation, Static Circuit Check, IR/EM, Variation) that analyzes the full spectrum of a product life cycle, from early-life to end-of-life.
Owner:Synopsys
Product Name:PrimeSim XA
Version:vW-2024.09-SP1
Supported Architectures:x86_64
Website Home Page :www.synopsys.com
Languages Supported:english
System Requirements:Linux *
Size:2.7 Gb