Siemens, a German multinational conglomerate, agreed to acquire OneSpin Solutions, a provider of formal verification software, from Azini Capital, a London-based private equity firm. Financial terms were not disclosed. "OneSpin Solutions has been dedicated to solving the most difficult verification challenges to assure IC integrity. Our unique technology and focus have fueled our record growth across a number of domains including 5G, automotive, datacenter, IoT, and aerospace/defense. Being part of Siemens will allow us to accelerate technology development and deliver our much-needed solutions to a broader user base with the goal of becoming the market's leading formal verification provider," Raik Brinkmann, OneSpin Solutions President and CEO.