IP industry veteran Warren Savage talks to OneSpin’s CEO Raik Brinkmann about verification today, the impact of Formal-based techniques and Raik’s own background in this area, on the popular YouTube Channel ‘Take5 with Warren’.