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