米Real Intent、フォーマル検証ツールに米Novasのデバッグ機能を搭載

2006年2月7日、米Real Intentと米Novasは、Real Intentのフォーマル検証ツール向けにNovasのデバッグツールがOEM供給されることを発表した。

プレスリリース：http://www.realintent.com/news/pr-2006/PR-FEB-7-06.html（英文Real Intent）

発表によると、NovasからReal IntentへOEM供給されるのは、Novas「Verdi」のデバッグ機能で、Real Intentのフォーマル検証ツール「Verix」ファミリと「PureTime」に搭載される。

これにより、「Verix」のユーザは検証と視覚的なデバッグを効率よく行う事ができるようになり、設計とデバッグのサイクルを週または月単位で減らす事ができるようになるという。

※Real Intent「Verix」関連ニュース
https://www.eda-express.com/news/?m=p&idno=332

※Novas「Verdi」の製品概要はこちら
https://www.eda-express.com/catalog/?m=s&idno=1510040&an=5450

※Real Intent　http://www.realintent.com/index.html

※Novas社製品国内代理店　ノバフロー株式会社　http://www.novaflow.co.jp/