Please login to view the entire Verification Horizons article.
Please register or login to view.
Preface: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).
GREETINGS AND HIGH-LEVEL CHALLENGES
Tom:First, welcome
...