Front End and Verification Suite

The Front End and Verification suite from Synopsys consists of a collection of high performance synthesis, static timing and functional verification tools.

Product List

Front End and Verification Tools CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
Design Compiler Elite Logical, topographical and graphical synthesis from RTL to netlist (includes Design Vision GUI, Design Compiler Ultra and Design Compiler NXT); includes Power Compiler for power optimisation and DFTMAX logic BIST add-on Yes Yes Yes -
TestMAX Integrated RTL to ATE implementation and verification flow. Includes TestMAX Access, TestMAX Advisor, TestMAX ATPG Elite, TestMAX DFT Apex, TestMAX Diagnosis, TestMAX FuSa Elite, TestMAX Manager, TestMAX SMS, TestMAX Vtran and TestMAX XLBIST Yes Yes Yes -
Formality Elite Formal equivalence checker; includes Formality ECO and FuSa add-on Yes Yes Yes -
DesignWare Library of implementation and verification models Yes Yes Yes-
CoreAssembler & CoreBuilder Tools for IP block management and configuration Yes Yes Yes -
VCS Elite and Apex VHDL, Verilog, SystemVerilog and SystemC simulator; includes mixed language support and multi-core (FGP) technology. Yes, and 32 bit Yes, and 32 bit Yes, and 32 bit -
Synopsys Verification IP Verification IP coded in SystemVerilog, supporting VMM, UVM and OVM Yes, and 32 bit Yes, and 32 bit Yes, and 32 bit -
HAPS (software only) Tools for use with CHIPit and HAPS systems. Includes HAPS-60 Co-Sim & TBV Suite, HAPS-600/CHIPit Manager Ultra, HAPS-60 Transactor Runtime, HAPS-70 Co-Sim & TBV Suite, HAPS-70 Transactor Runtime, HAPS-DX TBV Suite, HAPS-DX Transactor Runtime, ProtoCompiler. - Yes Yes Yes
PrimeTime Apex Signoff quality gate-level static timing analysis and signal integrity analysis, supports multi-corner, multi-voltage analysis and aging-aware STA.
Yes Yes Yes -
PrimePower Power analysis for block-level and full-chip designs from implementation to signoff
Yes Yes Yes -
PrimeShield Elite Spice2Design exploration/migration, robustness analysis and optimisation using fast Monte Carlo statistical simulation on critical paths Yes Yes Yes -
Verdi Elite Debug environment for both simulation and formal flows; includes fault analysis, performance analyzer, AMS debug and power-aware debug. Yes, and 32 bit Yes, and 32 bit Yes, and 32 bit -
Synplify Apex Synthesis of RTL (VHDL and Verilog) to FPGA targets and synthesis of ASIC designs for prototyping on FPGAs. Includes HDL Analyst for graphical representation and Identify RTL debugger for verification and cross-probing between RTL source and FPGA design. Yes Yes Yes Yes
DesignWare TLM Library; DesignWare ARM TLM Library Library of transaction level models;
Library of ARM / AMBA transaction level models
- Yes Yes Yes
PrimeSim XA
(formerly CustomSim)
Fastspice simulator for mixed-signal designs Yes Yes Yes -
NanoTime Transistor level static timing and SI analysis, characterization of custom digital, memories and AMS macros. Yes Yes Yes -
WaveView Elite Analogue / mixed-signal waveform viewer and transistor level debugging environment. Yes Yes Yes Yes
ESP Transistor level formal equivalence checking of full-custom: memories, datapath and IO cells. Yes Yes Yes -
PrimeLib Library characterization suite (digital standard cells) Yes Yes Yes -
SpyGlass RTL analysis; includes constraints generation and validation, power estimation and exploration, and dashboard and datasheet generation. Yes Yes Yes
Silver and TestWeaver Virtual ECU platform and system test automation for automotive systems. Yes Yes Yes Yes
Euclide Design and verification integrated development environment with on-the-fly lint checks. - Yes - Yes
Platform Architect System modelling and development environment Yes Yes Yes Yes
Virtualizer Virtualizer and Virtualizer Dev Kit Plus (VDK+) Yes Yes Yes Yes
Certitude Functional qualification of verification environment using fault injection to analyze and measure quality of VHDL, Verilog, SystemVerilog, SystemC and C/C++ test benches Yes, and 32 bit Yes, and 32 bit Yes, and 32 bit -
PrimeSim Reliability Analysis Reliability verification including static analogue and digital circuit checks (CCK), high sigma Monte Carlo analysis (AVA),static power/signal net resistance check (SPRES), dynamic EMIR analysis (EMIR), MOS againg analysis (MORSRA) Yes Yes Yes -
RTL Architect Physically-aware RTL analysis, exploration and optimisation for RTL closure Yes Yes Yes -
PowerReplay Early gate-level power analysis using RTL simulation data Platform independent
VC Formal Elite Suite of formal apps Yes Yes Yes -
VC SpyGlass Apex RTL lint analysis, advanced formal lint, CDC and RDC analysis Yes Yes Yes -
VC Functional Safety Manager Functional safety verfication flow Yes Yes Yes Yes, and 32 bit
Z01X Fault simulation for IEC 61508 and ISO 26262 compliance Yes Yes Yes -
Zebu Continuum Software for Zebu emulators Yes Yes Yes -

Important, please note that:


ASIP Designer

Product List

ASIP Designer (FEV suite add-on) CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
ASIP Designer Application-specific instruction-set processors (ASIPs) development Yes Yes Yes Yes

Important, please note that:


Analogue Simulation & Modelling Suite

The Analogue Simulation & Modelling suite comprises tools for full custom design, circuit simulation and analysis.

Product List

Analogue Simulation and Modelling Tools CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
Custom Compiler Apex Full custom schematic capture, simulation and layout environment (includles Custom Compiler SE and Custom Compiler ADV) Yes Yes Yes -
WaveView Elite Analogue / mixed-signal waveform viewer and transistor level debugging environment Yes Yes Yes Yes
PrimeSim Includes PrimeSim SPICE and PrimeSim Pro, the next generation of FineSim SPICE and FineSim Pro. PrimeSim SPICE - FastSPICE for custom digital and analogue/RF designs. PrimeSim Pro - FastSPICE for DRAM and flash memories Yes Yes Yes -
PrimeSim HSPICE
(formerly HSPICE)
Circuit Simulator and GUI Yes Yes Yes Yes
PrimeSim Reliability Analysis Reliability verification Yes Yes Yes -
PrimeSim CCK Static analogue and digital circuit checks Yes Yes Yes -
PrimeSim Custom Fault Analogue fault simulation Yes Yes Yes -
PrimeWave PrimeWave Design Environment with support for PrimeSim Continuum. Yes Yes Yes -
SaberRD Multi-Domain, Mixed-Signal Simulator supporting MAST HDL and VHDL-AMS languages, interactive Graphical User Interface, Schematic Entry, Model Creation, Experiment Management, Template and Component Libraries, Transient, AC, Periodic AC (PAC), Monte Carlo, Sensitivity, Stress, Fourier, Fault, WCS Analyses, design optimization, FMI support, and multi-run parallelization. *Simulation engine only, GUI is Windows-only Yes* Yes* Yes* Yes
SaberEXP PWL-based fast-simulator including interactive Graphical User Interface, Schematic Entry, Transient, PAC, and FMI support - - - Yes
SaberES Designer Desktop environment for Power Electronics DesignHarness Design and Verification tool built on SaberRD infrastructure and simulation capabilities. It uses a single database to enable Sub-System→System→Wiring→Bundle Design flow, with support for Harness Architectures and Wire Design Templates. - - - Yes

Important, please note that:


ASIC Implementation Tool Suite

The Implementation Tool suite comprises tools for physical implementation of digital ICs.

Product List

ASIC Implementation Tools CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
Fusion Compiler Elite An RTL-to-GDS solution for 7/6nm designs and above. Yes Yes Yes -
IC Compiler II (ICC II) Elite Physical implementation for small geometry processes, includes RTL2GDS Advanced Fusion add-on. Yes Yes Yes -
StarRC Apex Full chip RC extraction Yes Yes Yes -
IC Validator Elite Hierarchal physical verification Yes Yes Yes -
ICV Workbench High Speed hierarchical layout visualization and analysis tool. It allows viewing and editing GDSII and OASIS layouts from small IP blocks to full chip databases Yes Yes Yes Yes
QuickCap Elite 3D parasitic field solver for standard cell characterization and memory cell characterization for 14nm FinFET and beyond. Yes Yes Yes -

ASIC Implementation Tool Suite Notes:


RedHawk Analysis Fusion

Product List

RedHawk Analysis Fusion (ASIC Implementation Tools Suite add-on) CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
RedHawk Analysis Fusion Power integrity for IC Compiler II Yes Yes Yes -

Advanced TCAD Suite

Synopsys' Sentaurus Advanced TCAD suite provides an extensive suite of tools for semiconductor process and device modelling.

Product List

Advanced TCAD Tools CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
Sentaurus Workbench Advanced Framework tool for the co-ordination and analysis of multiple simulation runs Yes Yes - -
Sentaurus Visual Visualisation tools Yes Yes - -
Sentaurus Process Multidimensional semiconductor process simulator. Includes 3D option Yes Yes - -
Sentaurus Process Kinetic MC Atomistic kinetic Monte Carlo implantation and diffusion simulator Yes Yes - -
Sentaurus Device Multidimensional device simulator. Includes Advanced, 3D, DSM, Compound, Parallel, EMW, Power and Monte Carlo options Yes Yes - -
Sentaurus Structure Editor Multidimensional process emulator and graphical device structure editor. Includes 3D option Yes Yes - -
Sentaurus PCM Studio and PCM Library Builds process compact models for parametric yield analysis - Yes - Yes
ICV Workbench High Speed hierarchical layout visualization and analysis tool. It allows viewing and editing GDSII and OASIS layouts from small IP blocks to full chip databases Yes Yes Yes Yes
Taurus Medici (2D) 2D Device simulation tool Yes Yes - -
Taurus TSUPREM-4 (2D) 2D Process simulation tool Yes Yes - -
Raphael-FX 2D/3D RC extraction with support for distributed processing Yes Yes - -

Additional notes:


QuantumATK

Synopsys' QuantumATK is a complete and fully integrated software toolkit for atomic-scale modelling
Details of the QuantumATK tool bundle can be found in the QuantumATK Datasheet

Product List

QuantumATK CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
QuantumATK Atomic-scale modelling Yes Yes Yes Yes

Synopsys Photonic IC (PIC) Platform

The Photonic IC (PIC) Platform is a comprehensive suite of solutions for design and simulation of Photonic ICs (PICs).

Product List

Photonic IC CentOS Linux
64bit
Redhat Enterprise Linux
64bit
SUSE Linux Enterprise
64bit
Windows
64bit
OptoCompiler Photonic IC design platform containing OptoCompiler, OptSim and Photonic Device Compiler Yes Yes - -