NEWS

 
SIEMENS
s2c
 

米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」関連ニュース
http://www.eda-express.com/news/?m=p&idno=332

※Novas「Verdi」の製品概要はこちら
http://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/

= EDA EXPRESS 菰田 浩 =

(2006/02/09 )

 

ページの先頭へ