constrained random

Cadence has developed a stimulus optimizer based on neural networks to try to improve the runtime of constrained-random verification runs.

Accellera has set up a working group to develop a language-independent way of capturing and managing test stimuli that can be used across a wide range of verification environments.

The second part of our interview with Mark Olen and Jim Kenney, looks at how formal and graph-based techniques move the market beyond simulation.