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.



Contact:

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




Review Article Be the first to review this article
CST: Webinar October 19, 2017

Synopsys: Custom Compiler

Featured Video
Editorial
Peggy AycinenaWhat Would Joe Do?
by Peggy Aycinena
DVCon Europe 2017: Munich and So much more
More Editorial  
Jobs
Technical Support Engineer EU/Germany/UK for EDA Careers at N/A, United Kingdom
Analog Hardware Engineer for Teradyne Inc at San Jose, CA
FPGA Engineer for Teradyne Inc at San Jose, CA
Senior R&D Engineer...Timing Closure Specialist for EDA Careers at San Jose or Anywhere, CA
Senior Front-End RTL Design AE for EDA Careers at San Jose, CA
Field Application Engineer for Teradyne Inc at San Jose, CA
Upcoming Events
Preparing for the Cognitive Era: Education, Occupation and You at SJSU Student Union Theater 211 South 9th Street San Jose CA - Oct 18, 2017
11th International Symposium on Networks-on-Chip (NOCS 2017) at Seoul Korea (South) - Oct 19 - 20, 2017
15th IEEE/ACM ESTIMedia 2017 at Seoul Korea (South) - Oct 19 - 20, 2017
ESTIMedia 2017 at Seoul Korea (South) - Oct 19 - 20, 2017
CST: Webinar series



Internet Business Systems © 2017 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