Siemens Digital Industries Software has signed a deal with UK-based private equity firm Azini Capital to acquire OneSpin Solutions, a provider of certified integrated circuit (IC) integrity verification solutions.With the move, Siemens has expanded its IC verification portfolio. The company told the media that it can now offer customers industry-leading know-how, product leadership and the industry's broadest portfolio of automated formal apps for key use-cases, including trust and security, safety, RISC-V and FPGA applications. Automated apps are increasingly critical to successful formal verification flows. Formal apps complement traditional formal techniques and help democratise formal verification processes by automating and dramatically streamlining common verification tasks. Siemens plans to add OneSpin Solutions technology to the Xcelerator™ portfolio as part of its suite of electronic design automation (EDA) IC verification offerings. The acquisition of OneSpin Solutions is expected to close in the second quarter of the calendar year 2021. The terms of the transaction have not been disclosed. Siemens Digital Industries Software is driving transformation to enable a digital enterprise where engineering, manufacturing and electronics design meet tomorrow. The Xcelerator portfolio helps companies of all sizes create and leverage digital twins that provide organisations with new insights, opportunities and levels of automation to drive innovation. OneSpin Solutions which is headquartered in Munich, has developed a fast-growing business by providing the industry's broadest portfolio of formal applications (apps) for assuring IC designs operate as intended under the most adverse environmental conditions across key growth markets. Image SourceAlso read: Siemens commissions India’s first HVDC power transmission link Also read: Siemens makes its biggest acquisition in India