無償ツールで実践する「ハード・ソフト協調検証」(8,最終回) ―― シミュレータやコンパイラの入手方法

Verification Enginnerの戯言

tag: 半導体

技術解説 2010年1月29日

無償のSystemVerilog対応シミュレータと無償のFPGA用オンチップ・バス・モデルを用いて,ハードウェア・ソフトウェア協調検証の一手法について解説する連載の最終回である.今回は,本連載記事の中で使用しているHDLシミュレータ「ModelSim AE Starter Edition」や,C言語プログラムのコンパイルに使用できる「MSYS/MinGW」の概要,およびその入手方法などについて説明する.いずれのツールも無償で利用できる.(編集部)

技術解説シリーズ「無償ツールで実践する『ハード・ソフト協調検証』」
  第1回 SystemVerilogのDPI-C機能
  第2回 テスト・プログラムはC言語で書く
  第3回 Avalonインターフェースと検証用モデル
  第4回 SystemVerilog側のDPI-Cの記述を作成する
  第5回 テスト・プログラムの作成とBFMのコードの生成
  第6回 協調シミュレーションを実行する
     第7回 DMAの割り込み機能を確かめられるようにする

Appendix A さまざまなタイプのライセンスが用意されているModelSim

 ModelSim AEは,米国Altera社が提供しているHDLシミュレータです.シミュレータの開発元は米国Mentor Graphics社で,同社のシミュレータ「ModelSim」をAltera社のFPGAユーザ向けに提供しているのがAE(Altera Edition)です.ダウンロードは,以下のWebページから行えます.

ModelSim-Altera 6.5bソフトウェア

 最新版のModelSim AEのバーションは6.5bです(2010年1月28日現在).これはMentor社がリリースしているModelSimの最新バージョン(6.5c)とほぼ同じ機能を備えています(図1).



図1 ModelSim-Altera 6.5bソフトウェアのダウンロード・ページ

 

 ModelSim AEのうち,ModelSim AE Starter Editionはライセンス・ファイルが不要で(ダウンロード時にユーザ登録が必要),最大1万行までのSystemVerilogのコードをシミュレーションできます.ただし,次の4項目については,残念ながらコンパイル・エラーまたはシミュレーション・エラーになります.

  • programブロック
  • 制約付きランダム生成(randomize)
  • カバレッジ(cover)
  • アサーション(SVA:SystemVerilog Assertion)

 シミュレータがこうした機能を備えていないのではなく,ライセンスとして使用できないようになっているだけです.従って,これら機能をサポートしているライセンスを持っていれば,コンパイル・エラーやシミュレーション・エラーになることはありません.

 有償版のModelSim Altera Editionは945ドル(米国内価格)ですが,ModelSim AE Starter Editionのようなライン数の制限がありません.より高速にシミュレーションしたい場合は,同社のModelSim PE/DE/LE/SEやQuestaSimの利用をお勧めします(共にメンター・グラフィックス・ジャパンから購入可能).これらはModelSim AEとまったく同じ環境で利用できます.

 お試しやちょっとした回路への適用については無償のModelSim AE Starter Editionを使用し,適用する回路の規模が大きくなるなど,高速にシミュレーションする必要がある場合はModelSim PE/DE/LE/SE,あるいはQuestaSimを使いましょう.

 

Appendix B ModelSim AEにはLinux版がある

 ModelSim AEにはWindows版だけでなく,Linux版も提供されています.前述の「ModelSim-Altera 6.5bソフトウェア」のページでは,Windows版だけでなくLinux版もダウンロードできます.

 サポートしているLinuxは以下の二つで,共に32ビット版のみです.

  • Red Hat Enterprise Linux 4 & 5
  • SUSE Linux Enterprise 9/10

 インストール後は,Windows版と同じGUIで使うことができます.

 Linux版を使うメリットは,DPI-CにおけるC言語のプログラムをコンパイルするためのCコンパイラ(GCC)がすぐに使えることです.Windows版の場合は,別途,MSYSとMinGWをインストールする必要があります.

 

1  2  »
組み込みキャッチアップ
お知らせ 一覧を見る

10/15(金),秋葉原UDXにて「組込みシステム開発者フォーラム2010――Advantech Embedded Design-In Forum Japan」を開催,全セッション受講無料

《読者の広場》 「ひと口コメント」 Part 10 ―― 『はやぶさ』の偉業にひと言! 熱いメッセージが65通も!

PICK UP用語

USB

関連記事

volatile

関連記事

Verilog HDL

関連記事

ニュース 一覧を見る

RS ComponentsがPCB設計ツールを無償配布,設計技術者向けのコミュニティ・サイトも開設

東京エレクトロン デバイス,学生向け組み込みアプリ開発コンテスト「Device2Cloud」を開催

ヒューマンデータ,Xilinx Virtex-5を搭載したFPGAボードを発売

MECHATROLINK協会がMECHATROLINK-III対応のスレーブLSIを600円で発売

Analog Devices,JESD204Aシリアル・インターフェース規格に対応した14ビットA-Dコンバータを発売

Tech Villageブログ

渡辺のぼるのロボコン・プロモータ日記

【ETロボコン】 3rd ET-West Cup

2010年6月20日

Hamana Project

ママチャリ12時間耐久レース(1)

2010年8月25日

組込マーに仲間入り! ~SSEST実行委員会

いよいよ競技会!

2010年9月 1日