ケイデンス社がEDA ソリューションのパートナーとしてNXP と戦略提携
2007年 12 月 18日
ケイデンス社 (Cadence Design Systems, Inc.) は10 月22 日、オランダのNXP セミコンダクター社との間でEDA ソリューションに関する複数年契約締結を発表した。本契約により、ケイデンスはあらゆるEDA ツールをNXP に提供。NXP はフロントエンドからバックエンド、デジタル回路からアナログ･RF 回路まで全ての設計をケイデンスのツールベースで行う形となる。 Read more
カーボン・デザイン社が仮想検証ツールCarbon Model Studio リリース
2007年 12 月 18日
仮想ハードウェア・モデルの自動生成、検証、配布ツールのベンダーである米国カーボン・デザイン・システムズ社 (Carbon Design Systems, Walthm, MA) は10 月1 日、新製品Carbon Model Studio を発表した。 Read more
ジャスパー社が検証ツールJasperGold 新版でプロパティモデリング能力を拡張
2007年 12 月 18日
フォーマル検証ツールのベンダーであるジャスパー社(Jasper Design Automation) は10 月3 日、JasperGold Version4.5 をリリースした。本製品は、liveness（期待される出力を回路が必ず生成する）プロパティをサポート、検証エンジンの高速化、複数のクロックを含むプロパティをサポートしたのが特徴で、モデリングに重要な要素となる。 Read more
Object-Insiders.Blog 記事総索引
2007年 12 月 18日
本誌の姉妹版「Object-Insiders.Blog」 9月～12月の記事の総索引をご覧になれます。下記のPDFファイルをダウンロードしてください。 Read more
日本テレロジックが自動車業界向けMDD 環境Rhapsody For Automotive を発表
2007年 12 月 18日
日本テレロジック(株)は11月14日、主に自動車システムエンジニア、車載エレクトロニクスのソフトウエア開発者向けのモデル駆動開発環境でUML、SysML をベースとするTelelogic Rhapsody For Automotive を発表した。本製品はテレマティクス、インフォテイメント、パワートレイン、シャーシ、コンフォート、および車体電子制御ユニット(ECU)を設計するエンジニアの仕様変更作業を容易にする。 Read more
モデル駆動エンジニアリング - 全体最適へのチャレンジ
2007年 12 月 18日
今年10月11日に開催された「MDA Technology Forum (MTF)」(第6期 第2回) は、「モデル駆動エンジニアリング - 全体最適へのチャレンジ」と題して新しい課題に新しい角度からアプローチしたセミナーでした。この見どころ解説をご紹介いたします。 Read more
