SpecC･ﾃｸﾉﾛｼﾞｰ･ｵｰﾌﾟﾝ･ｺﾝｿｰｼｱﾑ

オープンソース・フリーソフトの設計コンパイラをリリース
SpecCテクノロジー オープン コンソーシアム(STOC)が、SpecC参照コンパイラを公開。パブリックドメインの設計技術で、業界の設計効率化と標準の確立を目指す。

本日、「SpecC･ﾃｸﾉﾛｼﾞｰ･ｵｰﾌﾟﾝ･ｺﾝｿｰｼｱﾑ（以下：STOC）」は、カリフォルニア大学アーバイン校（以下：UCI）の組込み計算機システムセンター（以下：CECS）に委託していた、SpecC言語の参照コンパイラが6月4日に公開リリースされたことを発表いたします。

SpecC言語の参照コンパイラ（註1）は、オープンソースであり、且つ、フリーソフトとして公開されました。近年、LinuxやGNUに代表されるように、設計技術の普及とツール開発のビジネスの促進のために、設計技術の標準化すべき部分をオープンソース形式でフリーソフトとして開発、保守することで標準化を目指す一方で、ユーザのサポートや設計支援ツールはツールベンダーのビジネスとして進めることが、業界のトレンドとなりつつあります。SpecC言語参照コンパイラは、組込みソフト設計業界やシステムLSI設計業界をターゲットとしており、組込みソフトツール業界やOS業界では認知されているこのトレンドを、EDA業界にも持ち込むものです。

註１：参照モデル STOCが制定するSpecC言語リファレンスマニュアルに則った参照モデルを開発し、配布することにより、言語マニュアルでは書ききれない詳細な部分に至るまで理解しやすくなります。多くの方に使っていただけるようになるだけでなく、言語構造の理解の促進や、ツール間の互換性確認のために活用することが出来ます。

ライセンスにはバークレー ソフトウエア ディストリビューション(BSD)ライセンスを使います。製品に組み込んで事業をすることが可能で、GNUライセンスよりも、ビジネスに向いたライセンスです。詳しくはhttp://www.opensource.com/にライセンス全文がありますのでご覧下さい。

（以下、UCI発のニュースリリースの一部を抄訳して流用しているところがあります。）

「SpecC言語の参照コンパイラのリリースは、SpecC言語がシステム仕様記述言語として世界標準となるための、重要な第一歩となります。SpecC言語は、設計方法論も組合せながら、世界標準となっているＣ言語を基に分かりやすく拡張されており、組込みソフトの技術者にとっても、ハードウエアの技術者にとっても、使いやすく魅力的な言語となっています。」とSTOCのSpecC言語仕様WG主査である藤田 東大教授は表明しています。

SpecC言語はシステムレベル設計言語で、組込みシステムやその他の電子機器の製品仕様設計と詳細設計の両方をC言語で効率良く設計できるようにするために開発されました。システムの仕様定義が判りやすくなり、設計部門間での誤解や曖昧さによる設計間違いが減ります。SpecC設計方法論が、仕様から詳細設計へ至る、設計の詳細化、合成の手法を提供しており、併せて高い設計生産性を提供することができます。

SpecC言語の実験を早期より進めてきたモトローラの半導体製品セクター　システムアーキテクトのマイク・オリバレス氏は「モトローラ社内では、SpecC方法論は設計の品質と生産性の両方を同時に大幅に改善できるポテンシャルがある、と評価されています」と表明しています。

今回の公開リリースには、コンパイラ、シミュレータ、テストベンチの三つがオープンソースで含まれています。SpecC参照コンパイラはSpecC記述を入力とし、C++記述に変換して出力します。シミュレータはC++記述をコンパイル・実行する際に必要となります。さらに、コンパイラやシミュレータの動作を確認するテストベンチが用意されています。SpecC生みの親であるガイスキー教授率いるCECSのウエブサイトで公開されています。現在はLinuxとSolarisで動きますが、将来はWindows　NTにもポーティングされる予定です。

「SpecC参照コンパイラを予定通りの時期に公開リリースできたことに満足しています。将来のリリースについても同様に計画通りに進めるよう努力します。リリース後最初の10日で既に600件を越すアクセスがありました。これこそパブリックドメインソフトの力であり、STOCの活動が受け入れられていることを示すものだと思います」とガイスキー教授は述べています。

「メンター・グラフィックスはSTOCがLanguage Reference Manualの内容を明確にするため、リファレンス・コンパイラをインプリメンテーションしたことを大変喜ばしく思います。これによって、さまざまなオープンスタンダードがLRMをインプリメンテーションする際もその解釈が限定されます。積極的に行動をおこし、リファレンス・インプリメンテーションの制定を推進したSTOCのメンバーの熱意は賞賛されることでしょう。」とメンター・グラフィックス社のプロダクトライン・ディレクター SoC Verificationであるマイケル・チェン氏は述べています。

参照コンパイラープロジェクトの活動(註２)の援助は、主にSTOCの会員が直接UCIに対して行っています。STOCの会員になっている組織(人)はモトローラ、トヨタ自動車、東芝、日立、富士通、ヤマハなどのシステムハウスの他、EDAツールベンダーや組込ソフトツールベンダー、大学教授などです。

註２：活動 活動は、寄付金や研究委託など、さまざまな方法によって、STOCの会員が直接UCIを支援します。本活動にご賛同の方は、是非UCIをご支援ください。

ガイオ・テクノロジー（株） 代表取締役社長 国峯幸雄氏は、「SpecCコンソシアムの「オープンソース・デザインコンパイラ」のリリースを心より歓迎する。SpecCに限らずインフラ系ソフトウエアのオープンソース化は、顧客の短期間での試作利用を可能にし、我々ツールベンダーにとってもさらにその周辺の独自ツールを開発してビジネスにする事が容易となる。ガイオでは、今回のSpecCコンパイラの周辺ツール開発を行なって次世代のデザイン環境構築を強力に進めていく予定である。」

（株）インターデザイン・テクノロジー代表取締役社長　山本節雄氏は「真にオープンな参照コンパイラーの公開は、組み込みシステムを中心とする電子機器産業並びに設計ツール業界の双方の技術力向上と事業的発展に大きく寄与することと期待しています。」

SpecC言語とSTOCについて：
本コンソーシアムは、携帯情報端末やセット・トップ・ボックス、電子制御ユニット等の電子機器の商品企画から設計に至る商品開発プロセスを統合するために、新たな仕様記述言語「SpecC言語」の普及とその利用技術を確立することを目指して、昨年11月10日に国内外24社の賛同を得て発足しました。http://www.SpecC.gr.jp/をご参照ください。

一般会員企業のリスト：

株式会社アドバンスド データ コントロールズ	アルパイン株式会社
Cadence Design Systems, Inc.	キャッツ株式会社
C Level Design, Inc.	Co-Design Automation, Inc.
Conexant Systems, Inc.	株式会社エルミックシステム
富士通株式会社	フューチャーデザインオートメーション株式会社
ガイオ・テクノロジー株式会社	株式会社日立製作所
株式会社インターデザイン・テクノロジー	松下電器産業株式会社
Mentor Graphics Corporation	三菱電機株式会社
Motorola, Inc.	日本電気株式会社
株式会社沖情報システムズ	シャープ株式会社
セイコーエプソン株式会社	株式会社ソリトンシステムズ
ソニー株式会社	株式会社シンセシス
株式会社東芝	東芝ケーエヌシステム株式会社
東芝ソシオエンジニアリング株式会社	トヨタ自動車株式会社
ヤマハ株式会社	Y Explorations, Inc

CECSについて：
組込計算機システムセンターはUCI（米カリフォルニア大学アーバイン校）にある研究センターで、無線機器、医療機器、自動車搭載機器、プロダクトオンデマンド技術などの、組込システムの研究にたずさわっています。

　以　　上