2007-12-10から1日間の記事一覧

独OneSpin Solutions、FPGA向けのシーケンシャル等価性検証ツール「360 EC-FPGA」をリリース

EDA関連ニュース

2007年12月10日、フォーマル検証ツールを手掛けるOneSpin Solutions社は、FPGAの合成結果の検証に特化したシーケンシャル等価性検証ツール「360 EC-FPGA」のリリースを発表した。プレスリリース新製品「360 EC-FPGA」は、OneSpinの既存製品「360 EC-ASIC」を…

ケイデンスとARMが新たに2つのリファレンス・メソドロジを発表〜マルチコア向けと低消費電力設計向け

EDA関連ニュース

2007年12月10日、ケイデンスとARMは、両社で共同開発した2つの新しいインプリメンテーション・リファレンス・メソドロジを発表した。プレスリリース今回発表されたリファレンス・メソドロジは、ARMのマルチコア・プロセッサ「ARM11 MPCore」と、低消費電力化…

2007年12月10日、動作合成ツールを核としたC言語ベースの統合設計環境を手掛けるNECシステムテクノロジーは、日立製作所中央研究所が同社の「CyberWorkBench」を採用したことを発表した。プレスリリース

EDA関連ニュース

発表によると「CyberWorkBench」を採用したのは日立製作所中央研究所の中の「組込みシステム基盤研究所」で、「CyberWorkBench」を利用することでアルゴリズム開発やシステムＬＳＩで利用する機能ＩＰ開発のTAT短縮を目指すという。「CyberWorkBench」は、NE…