Avery Design Systems Announces SimXACT 3.0 for Improved X-Verification

TEWKSBURY, Mass. — (BUSINESS WIRE) — June 6, 2016 — Avery Design Systems Inc., an innovator in functional verification productivity solutions, today announced availability of release 3.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 hybrid 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 an X analysis to debug X bugs from RTL vs gate-level simulation mismatches.

A new design and library analysis feature has been added to improve setup process by selecting the best SimXACT runtime options for performance based on design styles and to analyze SUDP models of sequential devices to isolate X-pessimism issues from inadequate models.

A design database has been added to cache initial analysis for use on subsequent runs of the full testsuite regression. Overall performance and memory has each been improved by more than 2X over prior releases. This makes analyzing designs of more than 10M DFFs possible without the need to divide the analysis into steps.

Finally to deal with X propagations arising from X-optimism issues caused by non-reset DFFs corrupting the state of downstream DFFs which previously held deterministic values after reset during functional simulation, SimXACT adds a built-in assertion to monitor DFFs for this potential RTL X bug and generates a time 0 random deposit that more closely tracks actual hardware semantics during the gate-level logic simulation.

Finally an XTrace database has been added along with a TCL-based sequential backtrace commands to “root cause” X propagations back to X sources. Using event-based X propagation analysis X sources can be searched back 100s to 1000s of clock cycles or even back to reset time.

Visit us at the Design Automation Conference (DAC) June 6-9 in booth #800.

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 RT-level and gate-level X verification; robust core-through-chip-level Verification IP for PCI Express, USB, AMBA, UFS, MIPI CSI, DSI, Soundwire, and Unipro, DDR/LPDDR, HBM, HMC, ONFI/Toggle, NVM Express, SATA Express, eMMC, SD/SDIO, CAN FD, and I2C 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.


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

Review Article Be the first to review this article


Featured Video
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
Acquiring Mentor: Four Good Ideas, One Great
More Editorial  
Manager, Field Applications Engineering for Real Intent at Sunnyvale, CA
Sr. staff ASIC Design Engineer -2433 for Microchip at San Jose, CA
SENIOR ASIC Design Engineer for TiBit Communications at Petaluma, CA
Upcoming Events
DeviceWerx - 2016 at Green Valley Ranch Casino & Resort Las Vegas NV - Nov 3 - 4, 2016
2016 International Conference On Computer Aided Design at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
ICCAD 2016, Nov 7-10, 2016 at Doubletree Hotel in Austin, TX at Doubletree Hotel Austin TX - Nov 7 - 10, 2016
Electric&Hybrid Aerospace Technology Symposium 2016 at Conference Centre East. Koelnmesse (East Entrance) Messeplatz 1 Cologne Germany - Nov 9 - 10, 2016
S2C: FPGA Base prototyping- Download white paper

Internet Business Systems © 2016 Internet Business Systems, Inc.
595 Millich Dr., Suite 216, Campbell, CA 95008
+1 (408)-337-6870 — 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 Policy