August 17, 2020
Cadence has developed a stimulus optimizer based on neural networks to try to improve the runtime of constrained-random verification runs.
February 11, 2015
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.
May 21, 2014
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.