据悉，处理器知识产权授权商ARM控股有限公司已经收购了Obsidian软件公司，后者是一家创建于1997年的私人持股公司，成立以来一直提供处理器验证产品，核查咨询和培训服务。

ARM为本次收购所支付的具体数额尚未透露。

“自开发Cortex-A8处理器以来，ARM一直同Obsidian保持着长期合作关系。”ARM处理器业务部门执行副总裁兼总经理Mike Inglis在一份声明中表示，“此次收购Obsidian，有助于我们进一步提高产品质量，并缩短基于ARM的SoC产品的上市时间。”

交易完成后，Obsidian软件验证团队将成为ARM德州检验团队的一部分。

Obsidian最知名的产品是随机架构验证引擎（Random Architecture Verification Engine），也就是众所周知的RAVEN，一个用于生成标准和定制处理器内核的验证工具。

ARM表示，将继续履行现有Obsidian与客户之间的所有合同协议。