Trek is a graph based functional test synthesis tool targeted at developing functional vectors for complex IC designs and aiding the understanding, defining, and analysis of verification requirements.

Design for testability (DFT) works to make a circuit more testable to ensure that it was manufactured correctly. Alfred Crouch explains the purpose of DFT in his book, Design-For-Test for Digital ICs ...

Functional verification can cost as much as design, but new capabilities are piling onto an already stressed verification methodology, leaving solutions fragmented and incomplete. In a perfect world, ...

New research paper titled “Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification” from researchers at University of Bristol and Infineon Technologies. “Constrained ...

The complexity of today's system-on-a-chip designs creates serious verification challenges in various respects. It's increasingly difficult to write an effective and comprehensive verification plan.

Acquisition integrates advanced "shift-left" Design for Test (DFT) functionality into Siemens' Xpedition and Valor portfolios, creating an unparalleled digital thread ...

Hardware-assisted verification (HAV) solutions are the must-have verification tools today as complexity, functionality, and performance requirements grow. They are also mandatory to ensure that design ...