OneSpin SolutionsがOasys Design Systemsに等価性検証ツールの技術をOEM供給

2013年2月26日、フォーマル検証ツールを手掛けるOneSpin Solutionsと、RTLフジカル合成ツールを手掛けるOasys Design Systemsは、両社間のOEM提携について発表した。

発表によると、OneSpin Solutionsが同社の手掛ける機能等価性検証ツール「OneSpin 360™ EC」の技術をOasys Design Systemsにライセンス供給。Oasys Desin Systemsは同技術を自社のRTL合成ツール「RealTime Designer」にインテグレーションするという。

同インテグレーションに関する詳細は、追ってOasys Desin Systemsからアナウンスがあるようだが、同社は今年1月にRTL最適化の新製品「RealTime Explorer」をリリースしていることから、最適化前後のRTLをの機能等価性の検証に「OneSpin 360™ EC」の技術を用いるのではないかと思われる。