Technologist Interview: What Siemens’ Acquisition of OneSpin Means for Formal Verification – and You
by Tom Fitzpatrick, Harry Foster and Dominik Strasser, Siemens EDA
in May 2021 Siemens EDA acquired OneSpin Solutions, combining Siemens' Questa Formal products and expertise (with roots and team members from 0-In) with OneSpin’s “apps first” approach to key growth markets including Trust&Security, Safety, RISC-V, and FPGAs. The combination adds to a cohesive Siemens EDA verification solution spanning simulation, formal, emulation, and prototyping. To find out what this means for the future of formal technology – and how end-users will benefit -- I’ve interviewed Formal experts Harry Foster (of the Wilson Survey fame, DAC 2021 General Chair chairman, among other roles), and Dominik Strasser (a co-founder of OneSpin; now in Siemens R&D).