HELPING YOU DESIGN THE CHIP INSIDE
Products and Solutions
---------- SOLUTIONS ----------
Eclypse Low Power Solution
Galaxy Design Platform
Design for Low Power
Design for Test
Design for Yield
RTL Synthesis
Physical Implementation
Sign-Off
Liberty CCS
SDC
Milkyway
Discovery Verification Platform
Analysis and Debug Tools
Low-Power Verification
System Analysis & Design
Smart RTL Verification
Functional Equivalence Checking
Mixed-Signal
Languages
Intellectual Property (IP)
DesignWare Library
DesignWare Verification IP
DesignWare Cores
DesignWare Star IP
DesignWare Foundry Libraries
IP Reuse Tools
Design for Manufacturing
Design-Yield Analysis
Mask Synthesis
Mask Data Preparation
Lithography Verification
TCAD
Manufacturing Yield Management
Professional Services
Tool and Methodology Deployment
Pilot Design Environment
Flow Optimization
Implementation
Verification Consulting
Concept to Parts
Core Hardening
---------- PRODUCTS ----------
BSD Compiler: Test synthesis
Cadabra: Cell creation
Calibration Library
CATS: Mask data preparation
Circuit Explorer: Analysis & Optimization
coreAssembler
coreBuilder
coreConsultant
CosmosLE: Layout design environment
CosmosScope: Waveform analysis
CosmosSE: Schem. design environment
DC Ultra: RTL synthesis
Design Analyzer: RTL synthesis
Design Compiler: RTL synthesis
DesignWare: Design & verif. IP
DesignWare Virtual Platforms
DFT Compiler MAX
DFT Compiler: Test synthesis
DSSA Sentry
Enterprise: Layout editor
ESP: Transistor-level Equivalence Checking
Formality: Funct. equiv. checking
Hercules: Physical verification
HSIM
HSPICE: Accurate circuit simulation
IC Compiler
IC Workbench
Innovator: SoC / system modeling
JupiterXT: Design planning
Leda: RTL checker
Library Compiler: Library compilation
Liberty NCX: CCS Characterization
Magellan: RTL formal verification
Memory Solution
Milkyway: Design database
MVRC
MVSIM
NanoChar: 90 nanometer & below characterization
NanoSim: Fast circuit simulation
NanoTime
Odyssey Defect/Odyssey YMS
Paramos
Pilot Design Environment
Pioneer-NTB: SystemVerilog testbench automation
Power Compiler: Power optimization
PrimePower: Power analysis
PrimeRail
PrimeTime PX
PrimeTime: Static timing analysis
PrimeTime SI: Signal integrity analysis
PrimeYield Tool Suite
Proteus OPC
PSM-Create & PSM-Check
Raphael
Raphael NXT
Recipe Manager and Editor (RME)
Saber: Multi-tech. simulation
Scirocco: VHDL simulation
Seismos
Sentaurus Device
Sentaurus Lithography
Sentaurus Process
Sentaurus Structure Editor
Sentaurus TFM
Sentaurus Topography
Sentaurus Workbench
SiVL-LRC: Lithography verification
SpiceCheck
SpiceExplorer
Star-RCXT: Full-chip RC extraction
Star-RCXT VX
Star-SimXT: Fast circuit simulation
System Studio: DSP algorithm design
Taurus-Medici
Taurus-TSuprem4
TetraMAX: ATPG
VCS: Comprehensive RTL Verification
VCS MX: Mixed-HDL simulation
Vera: Testbench automation
WaveView Analyzer
DESIGN IMPLEMENTATION
VERIFICATION
INTELLECTUAL PROPERTY
DFM/TCAD
DESIGN SERVICES
NEWSROOM
PLATFORM & RELEASES
PUBLICATIONS
CUSTOMER EDUCATION
SOLVNET
SEARCH FOR IP
SVP CAFE
SNUG
VCS Archives
Press Releases
Renesas Adopts Synopsys' VCS Solution and VMM Methodology
Wolfson Selects Synopsys Galaxy and Discovery Platforms and DesignWare IP
Synopsys and Freescale Sign Verification Agreement
Enterasys Adopts Synopsys' VCS Native Testbench
Synopsys Donates Library of Advanced SystemVerilog Assertion Checkers
Industry Momentum Builds for the ARM-Synopsys VMM for SystemVerilog
S3 Adopts Synopsys' VCS Verification Solution and the Verification Methodology Manual for Systemverilog
SEQUANS Standardizes on Synopsys VCS, System Studio and Formality Solutions
Synopsys Delivers First Complete SystemVerilog Design and Verification Flow
AMCC Speeds Verification Using Synopsys' VCS with SystemVerilog
Exar Triples Verification Productivity Using VCS with SystemVerilog
Aarohi Deploys Synopsys' VCS Native Testbench
Sun Microsystems and Synopsys Collaborate to Certify VCS Verification Solution
STMicroelectronics Cuts Verification Time In Half with VCS
VCS Solution Adds Assertion IP Library and Native Testbench Support for SystemVerilog
Synopsys Introduces VCS Verification Library to Speed Verification by Up to 5X
Huawei Adopts Synopsys VCS Native Testbench to Accelerate Verification of Networking and Communications ASICS
Atmel Adopts Synopsys' VCS Native Testbench
Silicon Logic Engineering Uses VCS and Vera Solutions
Cedar Point Utilizes Synopsys' VCS Native Testbench
Synopsys Introduces VCS Verification Library to Speed Verification by Up to 5X
Top Layer Uses Synopsys Testbench Automation Tool
Faraday Verifies Complex CPU Cores with Synopsys' VCS and Vera Verification Solutions
CréVinn Adopts Synopsys' VCS Native Testbench to Accelerate ASIC Development
Synopsys, Inc. Announces Technical Seminar Series Featuring Verification, Implementation, and Design-For-Manufacturing Solutions
Synopsys Introduces Migration Service from Verisity Specman Elite to Synopsys VCS Verification Solution
Mentor Graphics and Synopsys Offer SystemVerilog Seminars for Users of the Verisity e Language
Articles
Simplify the Setup of Constrained - Random-Test Environments
SystemVerilog Reference Verification Methodology: VMM Adoption
Synopsys & SystemVerilog Verification Methodology Manual (VMM)
More On Power, ESL, And DFM
SystemVerilog reference verification methodology: ESL
SystemVerilog: The Complete Solution
SystemVerilog reference verification methodology: RTL
SystemVerilog reference verification methodology: Introduction
Transaction-Level Modeling: SystemC and/or SystemVerilog
EE Times: Synopsys Offers Verisity Migration
Electronic News:
Synopsys Woos Verisity Users with Migration Service
EE Times:
Synopsys Offers Verisity Migration Plan
EE Times:
Coverage is the Heart of Verification
Electronic Design:
Testbench Technology Shores Up Simulator's Verification Capabilities
EEdesign:
Synopsys adds testbench features to VCS
EEdesign:
Synopsys forum updates SystemVerilog support
EEdesign:
How to Choose a Verification Methodology
EE Times:
Mixed-Signal Verification Methodology Using Nanosim
SystemVerilog assertions unify design and verification
Design for verification methodology allows silicon success
White Papers
Successful Mixed-Language Code Coverage with VCS
How to Get Started with SystemVerilog Assertions
Assertions in SystemVerilog, A Unified Language for More Efficient Verification
CONTACT US
|
FEEDBACK
|
LOCATIONS
|
PRIVACY POLICY
|
LEGAL
© 2008 Synopsys, Inc. All Rights Reserved.