Verification

Why is verification still such a challenge in spite of all the technologies and techniques being brought to bear

How emulation was used to debug out-of-spec power on a multicore ARM design using the AXI bus.

How to address increasingly complex patterning issues and debug them efficiently as design moves toward 12 and 10nm.

An alphabet soup of AI, HPC, 5G and the IoT has finally seeded creation of a design infrastructure for silicon photonics.

Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.

Pattern-based design/technology co-optimization (DTCO) estimates lithographic difficulty during the early stages of a new process technology node.

This introduction to the new Accellera standard includes a demo of portable stimulus in use to fully verify a DMA engine.

Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.

Accellera's Portable Stimulus standard aims to improve verification efficiency and the reuse of test IP across the entire design life cycle.

Techniques previously unavailable during ICE or testbench acceleration can now greatly speed emulation debug in those modes.