What Siemens’ Acquisition of OneSpin Means for Formal Verification – and You
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.
![](https://res.cloudinary.com/dlzix82l9/image/upload/f_auto/v1711140178/Verification-Horizons/September-2021/verification-horizons_technologist-interview-what-siemens-acquisition-of-onespin-means-for-formal-verification-and-you_lgyrdm.jpg)
Full-access members only
Register your account to view What Siemens’ Acquisition of OneSpin Means for Formal Verification – and You
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.