July 25, 2023
Tessolve is bringing its Verification Futures conference to the US with an event scheduled for mid-September.
July 11, 2023
The recent Verification Futures Europe conference looked at what AI, from decision trees to foundation models, could do to speed up RTL checks.
April 28, 2017
ARM is using technologies such as Hadoop and Spark to provide insight into how well its verification processes are working.
June 6, 2015
Online conference discusses software testing for avionics and security, code coverage, agile methodologies, behaviour-driven development and more