Avery Design Systems Announces SimXACT 5.0 for Improved X-Verification

TEWKSBURY, Mass. — (BUSINESS WIRE) — February 23, 2018 — Avery Design Systems Inc., an innovator in functional verification productivity solutions, today announced availability of release 5.0 of its patented SimXACT analysis solutions including major new features for analyzing and automatically eliminating X bugs in gate-level design simulation.

SimXACT automates the tedious process of analyzing X propagations in gate-level simulations due to RTL vs gate-level mismatches arising from X-optimism problems and gate-level simulator X-pessimism handling in glue logic and gated clocking and overly pessimistic library cell modelling. SimXACT’s hydrid formal analysis runs with your normal logic simulator and proves and then on-the-fly fixes any false Xs arising from X pessimism during the actual simulation run. SimXACT also provides X analysis to debug X bugs from RTL vs gate-level simulation mismatches.

Highlights of the 5.0 release include:

  • X glitch detection features to root cause and fix Xs generated due to delta cycle glitches that are difficult to debug because the glitches may not show up in the waveform
  • Testpoint connectivity analysis checks for force statements from testbench finding GLS issues due to ports being optimized out
  • New patent pending analysis and fix optimization engine that increases performance up to 10X
  • ECO flow reverifies fixes from prior SimXACT runs after small netlist changes for better turnaround times
  • SoC flow for analyzing the DUT block-by-block in parallel to improve performance and find X issues more quickly
  • Cadence Xcelium now supported
  • X Trace Viewer
    • Root cause real Xs more quickly and effectively causing designs to operate non-deterministically coming out of reset or during normal operation modes
    • Supports one-step automatic sequential backtracing through hierarchical, mixed gate-level, RTL, and behavioral designs showing full X propagation history times over multiple clock cycles
    • Integrates with Verdi, Simvision, Questa to automatically scope Xs in source code and waveform views for full X propagation references
    • Supports interactive, command line, and batch modes
    • Uses structural RTL and formal-augmented X gate-level backtracing identifying real “controlling” functional support only keeping X clutter down
    • Provides FF corruption report for identifying X candidates requiring analysis

Visit us at the DVCon San Jose during February 26-28.

About Avery Design Systems

Founded in 1999, Avery Design Systems, Inc. enables system and SOC design teams to achieve dramatic functional verification productivity improvements through the use of formal analysis applications for gate-level X-pessimism verification and real X root cause and sequential backtracing; and robust core-through-chip-level Verification IP for PCI Express, CCIX, Gen-Z, USB, AMBA, UFS, MIPI CSI/DSI, I3C, DDR/LPDDR, HBM, ONFI/Toggle, NVM Express, SATA, AHCI, SAS, eMMC, SD/SDIO, CAN FD, and FlexRay standards. The company has established numerous Avery Design VIP partner program affiliations with leading IP suppliers. More information about the company may be found at www.avery-design.com.



Contact:

Avery Design Systems
Chris Browy, 978-851-3627
Email Contact




Review Article Be the first to review this article
Aldec

ClioSoft at DAC

Featured Video
Jobs
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
DAC 2018 at Moscone Center West San Francisco CA - Jun 24 - 28, 2018
Symposium on Counterfeit Parts and Materials 2018 at College Park Marriott Hotel & Conference Center MD - Jun 26 - 28, 2018
Concar Expo 2018 at Convention Hall II Sonnenallee 225 Berlin Germany - Jun 27 - 28, 2018
Nanotech 2019 at Tokyo Big Sight East Halls 4-6 & Conference Tower Tokyo Japan - Jun 30 - 1, 2018
ClioSoft at DAC
Altair



Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise