Verification

Virtualization is becoming ever more common during the Covid-19 outbreak, even for complex technologies like emulation, and showing its strengths.

The promise of autonomous vehicles is driving profound changes in the design and testing of automotive ICs.

How to combine formal and dynamic verification within an app to uncover security vulnerabilities.

The authors describe an emerging methodology based on a hierarchical data model approach that satisfies the key requirements for RDC verification.

Early detection using design integrity checks during implementation from abstract LEF/DEF inputs can deliver major efficiencies.

The RF and AMS specialist turned to design software that allowed it to run design checks during place and route.

How the use of declarative, constraint-based descriptions can help you focus command sequences on areas of interest.

How can we refine our approach functional verification to deal with the increasing number of systems that leverage artificial intelligence.

P2P (point-to-point) resistance is fundamental to IC reliability verification. Handle it more efficiently with detailed, automated path layout analysis.

A new clock-domain crossing methodology is described and results provided to show how automation delivers greater efficiency.