www.design-reuse-embedded.com
Find Top SoC Solutions
for AI, Automotive, IoT, Security, Audio & Video...

Avery Design Systems Announces SimXACT-SA™ for Improved Sequential X-Verification

Dec. 06, 2022 – 

TEWKSBURY, MA., December 6, 2022 – Avery Design Systems Inc., an innovator in functional IC verification productivity solutions, today announced the availability of a major new release to its patented SimXACT™ analysis solutions, adding features for sequential false X analysis and automatic repair and improved analysis and debug of clock gating logic. The new release also improves overall runtime performance.

SimXACT automates the tedious process of analyzing X propagations in gate-level simulations due to RTL vs. gate-level mismatches. These issues typically arise from gate-level simulator X-pessimism handling in glue logic and gated clocking and overly pessimistic library cell modelling.

SimXACT’s hydrid formal analysis runs during normal logic simulation, proving and fixing on-the-fly any false X’s arising from the simulated X pessimism present on flops, latches, memory inputs, and output pads.

The new SimXACT-SA analyzes X propagations through multi-level sequential re-convergent logic and resolves false X’s so they do not propagate and cause gate-level simulation mismatch compared to RTL simulation. Sequential analysis used to be only suited to conventional formal property checking solutions. Now SimXACT-SA’s hybrid formal analysis enables the use of simulation case-driven stimulus for more precise handling of sequential X propagation scenarios.

Highlights of the SimXACT and SimXACT-SA include:

Visit us at DVCon Europe, Munich during December 6-7, 2022.

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 backtracking; and robust core-through-chip-level Verification IP for PCI Express, CXL, CCIX, Gen-Z, USB, AMBA, UFS, MIPI CSI/DSI, I3C, DDR/LPDDR, HBM, ONFI/Toggle/NOR, 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.

 Back

Partner with us

List your Products

Suppliers, list and add your products for free.

More about D&R Privacy Policy

© 2024 Design And Reuse

All Rights Reserved.

No portion of this site may be copied, retransmitted, reposted, duplicated or otherwise used without the express written permission of Design And Reuse.