AtrentaがNextOpを買収

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

Atrenta acquires NextOp

こちらになったのね。
Atrentaであれば、日本法人もあるのでいいのね。

Atrentaのプレスリリース
EEtimes
Brian Baileyさんのブログ

検証、Verification