EDA Tools of Synopsys

Synopsys made its name in synthesis but has gradually added more and more
tools to its repertoire, particularly after its merger with EDA giant
Avant!. Available tools include:
·  Design Compiler - logic synthesis
·  Physical Compiler - placement-aware logic synthesis
·  VCS - native-compiled verilog simulation and debug
·  Design Vision - GUI for Design Compiler + design viewing
·  PrimeTime - static timing analysis
·  Astro - IC auto place & route
·  Behavioral Compiler - behavioral-level synthesis
·  Library Compiler - auto generation of synth/sim/test libraries
·  FPGA Compiler II - synthesis for FPGAs
·  Module Compiler - datapath synthesis
·  TetraMAX - ATPG & fault simulation
·  Formality - formal verification
·  VERA - testbench automation
·  AMPS - circuit optimization
·  Arcadia - RC extraction
·  DelayMill - SDF calculator
·  PathMill - static timing analysis
·  Nanosim - dynamic power and timing analysis
·  PrimePower - dynamic gate-level power analysis
·  Smartmodels/Mempro - behavioral models for commercial devices
·  RailMill - power rail analysis
·  Hspice - circuit simulation
·  Cosmos Scope - waveform viewer for Hspice, etc.
·  Awaves - waveform viewer for Hspice
·  TSUPREM4 - semiconductor process simulation
·  Medici - 2D semiconductor device simulation
·  Davinci - 3D semiconductor device simulation
·  Raphael - IC interconnect field solver
·  SaberDesigner - circuit and electromechanical simulation system
·  Star RCXT - IC interconnect extraction/analysis
·  Hercules - DRC/LVS checking
·  Cosmos SE - schematic editor
·  Cosmos LE - layout editor
·  Cocentric System Studio - system-level design and analysis
·  Apollo - IC auto place & route
·  Magellan - formal verification
·  Leda - verilog/VHDL RTL checker

Running on Unix/Linux:
Note: to run Synopsys software on a non-CAEN EECS department machine, the
machine must be part of the software subscription program.
Under /usr/caen/bin (which should be in your search path) are wrapper
scripts for many but not all Synopsys applications. These scripts set the
proper environment variables for you and launch the application. Scripts
include:
·  dc_shell - Design Compiler shell
·  design_vision - new gui for Design Compiler
·  design_analyzer - old gui for Design Compiler
·  lc_shell - Library Compiler shell
·  psyn_shell - Physical Compiler shell
·  psyn_gui - Physical Compiler gui
·  primetime - PrimeTime gui
·  pt_shell - PrimeTime shell
·  budget_shell - Design Budgeting shell
·  tmax - TetraMAX
·  nanosim - Nanosim shell
·  nanosimgui - Nanosim gui
·  sold - Synopsys OnLine Documentation (all tools)
·  amps - AMPS
·  pathmill - Pathmill
·  formality - Formality
·  fm_shell - Formality shell
·  primepower - PrimePower
·  pp_shell - PrimePower shell
·  vcs - VCS
·  hspice - HSPICE
·  awaves - Awaves
·  tsuprem4 - TSUPREM4
·  medici - Medici
·  davinci - Davinci
·  raphael - Raphael
·  Astro - Astro
·  StarXtract - Star-RCXT
·  c_scope - Cosmos Scope
·  saber - Saber simulator
·  saberbook - Saber Online documents
·  sketch - SaberSketch
·  scope - SaberScope
·  apollo - Apollo
·  leda - Leda
·  mgsh - Magellan
·  arcadia - Arcadia
·  railmill - Railmill
·  hercules - Hercules
·  CosmosLE - Cosmos LE
·  CosmosSE - Cosmos SE
·  ccss - Cocentric System Studio
Many of these wrapper scripts use the version settings you select using the
CAEN application swselect. If you haven't selected a version with swselect,
the wrapper script will default to the latest stable version installed on
the platform. TCAD tools like TSUPREM4, Medici, Davinci and Raphael are not
"swselect-able" - wrappers always select the latest stable version. Most
applications are available on both Solaris and Linux but there are some
that are not available on Linux. See install directory for information on
supported platforms. For TCAD tools, you will probably want to set the
following two environment variables:
setenv TMAPLOT_REPLOT CL/POSTSCRIPT
setenv TMAPLOT_XLIB /usr/dt/lib (if you use CDE)

Setting up your environment to run executables NOT in /usr/caen/bin
First, identify which package it is that you're interested in and determine
the install directory. Then add the following lines to your .cshrc or to a
small set-up file that you intend to source prior to running the
application, replacing instdir with the correct path.
Core Synthesis Tools (design compiler, primetime, primepower, etc.)
setenv SYNOPSYS instdir
set path=($SYNOPSYS/platform/syn/bin $SYNOPSYS $path)
setenv SNPSLMD_LICENSE_FILE $SYNOPSYS/admin/license/key
Astro
setenv SYNOPSYS instdir
set path=($SYNOPSYS/bin $path)
setenv LM_LICENSE_FILE $SYNOPSYS/license.dat
Apollo
set path=(instdir/bin $path)
setenv LM_LICENSE_FILE instdir/license.dat
Cosmos SE/LE
setenv COSMOS instdir
set path=($COSMOS/bin/platform $path)
setenv LM_LICENSE_FILE $COSMOS/license/license.dat
Cocentric System Studio
setenv CCSS_SIM_DIR your choice - perhaps /tmp
setenv SYNOPSYS_CCSS instdir/platform/ccss
setenv CCSS_KEYS instdir/admin/license/key
set path=($SYNOPSYS_CCSS/bin $path)
Arcadia and Railmill
source instdir/CSHRC_sparc64
Hercules
source instdir/hercules_setup.csh
Leda
setenv LEDA_PATH instdir
set path=($LEDA_PATH/bin $path)
setenv HTML_NAVIGATOR /usr/caen/bin/netscape
setenv LEDA_READER /usr/caen/bin/acroread
setenv SNPSLMD_LICENSE_FILE $LEDA_PATH/license.dat
Magellan
setenv MG_HOME instdir
setenv VCS_HOME vcs_instdir
setenv VERA_HOME vera_instdir
setenv LD_LIBRARY_PATH "$MG_HOME/platform/ctg/lib:$VERA_HOME/lib"
setenv SNPSLMD_LICENSE_FILE $MG_HOME/license.dat
set path=($MG_HOME/platform/ctg/bin $VERA_HOME/bin $path)

VCS
setenv VCS_HOME instdir
setenv SNPSLMD_LICENSE_FILE $VCS_HOME/license.dat
set path=($VCS_HOME/bin $path)
Star-MTB
source instdir/MTB/platform/mtb.cshrc.src
Nanosim
source instdir/CSHRC
Pathmill/AMPS
set path=(instdir/platform/pm or amps/bin $path)
setenv SNPSLMD_LICENSE_FILE instdir/license.dat
FPGA Compiler II
set path=(instdir/bin $path)
Star-RCXT
source instdir/star-rcxt_setup
VERA
setenv VERA_HOME instdir
set path=($VERA_HOME/bin $path)
setenv SNPSLMD_LICENSE_FILE $VERA_HOME/license.dat
Formality
set path=(instdir/platform/fm/bin $path)
TetraMAX
setenv SYNOPSYS_TMAX instdir
setenv SNPSLMD_LICENSE_FILE $SYNOPSYS_TMAX/admin/license/key
set path=($SYNOPSYS_TMAX/bin $path)
SaberDesigner
setenv AILM_LICENSE_FILE instdir/license.dat
set path=(instdir/ai_bin $path)
CosmosScope
setenv AILM_LICENSE_FILE instdir/CosmosScope/license.dat
set path=(instdir/ai_bin $path)
Smartmodels/Mempro
See sold for details on using Smartmodels and Mempro with various
simulators.
Hspice/Awaves
source instdir/bin/cshrc.meta
TSUPREM4/Medici/Davinci/Raphael
set path=(instdir/bin $path)
setenv TMAPLOT_REPLOT CL/POSTSCRIPT
setenv TMAPLOT_XLIB /usr/dt/lib (if you use CDE)
Note: the TMAPLOT_REPLOT setting will allow you to create postscript files
directly by typing "d" while the cursor is over the plot window.

On-line Manuals
All Synposys Tools 2003.03 and later
Type sold at a shell prompt.

Installed Versions/Platforms
·  Synopsys Core Synthesis 2003.12 (design compiler, physical compiler,
etc.)
o   install dir: /usr/caen/synopsys-synth-2003.12
o   platforms: Solaris, Linux
·  Synopsys Core Synthesis 2003.03 (design compiler, physical compiler,
etc.)
o   install dir: /usr/caen/synopsys-synth-2003.03
o   platforms: Solaris, Linux
·  PrimeTime 2003.12
o   install dir: /usr/caen/primetime-2003.12
o   platforms: Solaris, Linux
·  PrimeTime 2003.03
o   install dir: /usr/caen/primetime-2003.03
o   platforms: Solaris, Linux
·  VCS 7.1.1
o   install dir: /usr/caen/vcs-7.1.1
o   platforms: Solaris, Linux
·  VCS 7.0
o   install dir: /usr/caen/vcs-7.0
o   platforms: Solaris, Linux
·  Pathmill 2003.12
o   install dir: /usr/caen/pathmill-2003.12
o   platforms: Solaris, Linux
·  Pathmill 2003.03
o   install dir: /usr/caen/pathmill-2003.03
o   platforms: Solaris, Linux
·  Nanosim 2003.12
o   install dir: /usr/caen/nanosim-2003.12
o   platforms: Solaris, Linux
·  Nanosim 2003.03
o   install dir: /usr/caen/nanosim-2003.03
o   platforms: Solaris, Linux
·  Amps
o   install dir: /usr/caen/amps-2003.03
o   platforms: Solaris, Linux
·  FPGA Compiler II 2003.09
o   install dir: /usr/caen/synopsys-fpga-2003.09/fpga_compiler2
o   platforms: Solaris, Windows XP
o   executables: fc2, fc2_shell
·  FPGA Compiler II 2002.05
o   install dir: /usr/caen/synopsys-fpga-2002.05/fpga_compiler2
o   platforms: Solaris, HP, RH Linux 7.2, Windows XP
o   executables: fc2, fc2_shell
·  PrimePower 2003.12
o   install dir: /usr/caen/primepower-2003.12
o   platforms: Solaris, Linux
·  PrimePower 2003.03
o   install dir: /usr/caen/primepower-2003.03
o   platforms: Solaris, Linux
·  VERA 6.2.8
o   install dir: /usr/caen/vera-6.2.8
o   platforms: Solaris, Linux
·  VERA 5.1.1
o   install dir: /usr/caen/vera-5.1.1
o   platforms: Solaris, Linux
·  Formality 2004.03
o   install dir: /usr/caen/formality-2004.03
o   platforms: Solaris, Linux
·  Formality 2003.03
o   install dir: /usr/caen/formality-2003.03
o   platforms: Solaris, Linux
·  TetraMAX 2003.12
o   install dir: /usr/caen/tetramax-2003.12
o   platforms: Solaris, Linux
·  TetraMAX 2003.03
o   install dir: /usr/caen/tetramax-2003.03
o   platforms: Solaris, Linux
·  SmartModels
o   install dir: /usr/caen/generic/smartmodels-2003.12
o   platforms: Solaris, Linux
·  Hspice/Awaves 2004.03
o   install dir: /usr/caen/hspice-2004.03
o   platforms: Solaris, Linux, Windows XP
·  Hspice/Awaves 2003.03
o   install dir: /usr/caen/hspice-2003.03
o   platforms: Solaris, Linux, Windows XP
·  Astro 2004.06
o   install dir: /usr/caen/astro-2004.06
o   platforms: Solaris, Linux
·  Astro 2003.03
o   install dir: /usr/caen/astro-2003.03
o   platforms: Solaris, Linux
·  SaberDesigner 2004.03
o   install dir: /usr/caen/saber-2004.03
o   platforms: Solaris, Linux, Windows XP
·  SaberDesigner 2003.06
o   install dir: /usr/caen/saber-2003.06
o   platforms: Solaris, Linux, Windows XP
·  Star-RCXT 2003.12
o   install dir: /usr/caen/star-rcxt-2003.12
o   platforms: Solaris, Linux
·  Star-RCXT 2003.03
o   install dir: /usr/caen/star-rcxt-2003.03
o   platforms: Solaris, Linux
·  Davinci 2003.06
o   install dir: /usr/caen/davinci-2003.06
o   platforms: Solaris, Linux
·  Medici 2003.06
o   install dir: /usr/caen/medici-2003.06
o   platforms: Solaris, Linux
·  Raphael 2003.09
o   install dir: /usr/caen/raphael-2003.09
o   platforms: Solaris, Linux
·  Raphael 2003.03
o   install dir: /usr/caen/raphael-2003.03
o   platforms: Solaris, Linux
·  TSUPREM4 2003.06
o   install dir: /usr/caen/tsuprem4-2003.06
o   platforms: Solaris, Linux
·  Cocentric System Studio 2003.12
o   install dir: /usr/caen/cocentric-2003.12
o   platforms: Solaris, Linux
·  Cosmos SE/LE 2003.12
o   install dir: /usr/caen/cosmos-2003.12
o   platforms: Solaris, Linux
·  Hercules 2003.12
o   install dir: /usr/caen/hercules-2003.12
o   platforms: Solaris, Linux
·  Arcadia 2003.03
o   install dir: /usr/caen/arcadia-2003.03
o   platforms: Solaris
·  Railmill 2003.03
o   install dir: /usr/caen/railmill-2003.03
o   platforms: Solaris
·  LEDA 4.0.3
o   install dir: /usr/caen/leda-4.0.3
o   platforms: Solaris, Linux
·  Magellan 3.1
o   install dir: /usr/caen/magellan-3.1
o   platforms: Solaris, Linux
·  Apollo 2003.06
o   install dir: /usr/caen/apollo-2003.06
o   platforms: Solaris
·  Star-MTB 2004.06
o   install dir: /usr/caen/star-mtb-2004.06
o   platforms: Solaris, Linux

Helpful Links
·  http://www.synopsys.com/
·  EECS 427 - look for the "Synthesis and APR Flow" tutorial for some info
on Synopsys synthesis
·  EECS 627 - this course uses synopsys tools and may have some useful
info