発表によるとアルテラが用意した「Catapult C Synthesis」向けのライブラリは、DSPアルゴリズムのFPGAへの実装をより効率的に行うと同時に、そのパフォーマンスを改善するためのもので、このライブラリを用いて「Catapult C Synthesis」で動作合成を行う事に…

Altiumによると、アップデートされたトランスレーターは、メンター・グラフィックスのPCBデザイン・ブラウザ「DxDesigner」の設計データを「Altium Designer」に取り込むためのもので、中間フォーマットを用いる事無く回路図やライブラリ・ファイルをインポ…

Micro Magicによると「MAX-3D」は、異なるプロセスウェハーを積層する3Dスタックチップ向けのレイアウトエディタで、「Through-Si Via Wafer Stacking」として知られるSi貫通ビア接続によるチップの積層技術を実現するもの。この技術を用いる事で、例えば32n…

発表によるとOKIネットワークLSIは、会社設立当初から提供している機能検証のアウトソーシングサービスの生産性を向上させるためにシノプシスのSystemVerilogソリューションを採用。具体的には、論理シミュレーター「VCS」、検証IP「VCS Verification Librar…

今回発表された「Carbon Model Studio」は、Carbonの既存製品「VSP」及び「SOC-VSP」の2製品を統合した新製品で、仮想環境向けにRTLから高速シミュレーションが可能なサイクル精度のハードウェアモデルを自動生成。仮想検証用のモデルをハンドコーディングす…

2007年10月1日、アルゴリズム開発環境「MATLAB」を手掛ける米MathWorks社は、MATLAB言語のサブセット「Embedded MATLAB」を発表した。プレスリリース（英文）発表によると「Embedded MATLAB」は、MATLABから直接Cモデルを生成するために用意されたサブセット…

2007年10月3日、フォーマル検証ツールを手掛ける、米Jasper Design Automation社は、主力製品「JasperGold」のバージョンアップを発表した。プレスリリース（英文）Jasperによると、今回リリースされた「JasperGold バージョン4.5」では、ライブネス・プロパ…

発表によると両社は、ARMの提供するESL環境「RealView SoC Designer」とEVEの提供するハードウェアベース・エミュレーション環境「Zebu」を統合した環境を構築する事で、設計早期段階でのアーキテクチャ探求とプロトタイピングを実現。「RealView SoC Design…

2007年10月2日、メンター・グラフィックスは、65/45nm設計向けの新たなテストパターン圧縮技術「Xpress」を発表した。プレスリリース発表された「Xpress」技術は、65/45nmプロセスで製造される先端チップのテストニーズに応えるために開発された特許技術で、…

Sandworkは、SPICEネットリストのデバッグツール「SPICE Explorer」を中心にSPICEの波形ビューワ「Waveview Analyzer」など、アナログ/ミックスドシグナルデザイン向けの検証・解析ソリューションを提供するEDAベンダで設立は2001年、ワールドワイドで150社…

2007年10月1日、統計的タイミング解析ツールを手掛ける米Extreme DA社は、STARCが開発中の設計フロー「STARCAD-CEL V1.5」に同社のSSTA「Gold Time」が採用された事を発表した。 ※STARC：株式会社半導体理工学研究センターSTARCの「STARCAD-CEL V1.5」は、65…

2007年10月1日、アルテラは、自社FPGAの専用設計環境「Quartus II」のバージョン7.2を発表した。プレスリリースアルテラによると、今回の「Quartus II」のバージョンアップでは、ツールのコンパイル時間の短縮が実現されており、マルチプロセッサ・コンピュ…

メンターの発表によるとMediaTekは、複雑なマルチメディア設計におけるインタフェースの適合性と制御ロジック機能の詳細検証に「0-Inフォーマル･ベリフィケーション技術」を適用。RTLレベルの機能検証工程においてエラーを特定し、検証のホットスポットに的…

VBICモデルは、アナログ、RF/無線、パワー・エレクトロニクスなど広範な用途をカバーする唯一のバイポーラ・トランジスタ・モデルで、1995年にトランジスタモデルの標準化団体「CMC（Compact Model Council）」が標準化、1999年に現行のバージョン1.2がリリ…