OneSpin-Solutions

西门子数字化工业软件近日与总部位于伦敦的 Azini Capital 签订了收购 OneSpin Solutions 的协议，OneSpin Solutions 是一家领先的形式验证软件供应商，致力于帮助用户确保集成电路（IC）的完整性，实现功能正确、安全、可信且可靠的 IC 设计。