質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

ただいまの
回答率

90.41%

  • C

    4137questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。

  • C++

    3961questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

  • Verilog

    15questions

FPGAの高位合成に関しての質問です。

受付中

回答 2

投稿 編集

  • 評価
  • クリップ 1
  • VIEW 628

carnage0216

score 124

最近、CQ出版WebShopのFPGAマガジンNo.15を購入しました。
内容はⅭ言語プログラムを高位合成でハードウェア言語に変換して使うのですが、
高位合成を行う上でⅭ言語プログラムとⅭ言語で書かれたテストベンチが必要なはずなのですが、本に書いてあるプログラムがすべて載っているサポートページを探したのですが、Ⅽ言語プログラムはあったのですがⅭ言語のテストベンチがありませんでした。
高位合成にはテストベンチが不要な場合があるのでしょうか?
本の質問サイトにもメールしてみたのですが、返信がないままです。
高位合成の経験がある方がおられましたら回答していただけるとありがたいです。
どうかよろしくお願いします。

以下のURLはサポートページです。
https://github.com/aquaxis/FPGAMAG/tree/master/No15

  • 気になる質問をクリップする

    クリップした質問は、後からいつでもマイページで確認できます。

    またクリップした質問に回答があった際、通知やメールを受け取ることができます。

    クリップを取り消します

  • 良い質問の評価を上げる

    以下のような質問は評価を上げましょう

    • 質問内容が明確
    • 自分も答えを知りたい
    • 質問者以外のユーザにも役立つ

    評価が高い質問は、TOPページの「注目」タブのフィードに表示されやすくなります。

    質問の評価を上げたことを取り消します

  • 評価を下げられる数の上限に達しました

    評価を下げることができません

    • 1日5回まで評価を下げられます
    • 1日に1ユーザに対して2回まで評価を下げられます

    質問の評価を下げる

    teratailでは下記のような質問を「具体的に困っていることがない質問」、「サイトポリシーに違反する質問」と定義し、推奨していません。

    • プログラミングに関係のない質問
    • やってほしいことだけを記載した丸投げの質問
    • 問題・課題が含まれていない質問
    • 意図的に内容が抹消された質問
    • 広告と受け取られるような投稿

    評価が下がると、TOPページの「アクティブ」「注目」タブのフィードに表示されにくくなります。

    質問の評価を下げたことを取り消します

    この機能は開放されていません

    評価を下げる条件を満たしてません

    評価を下げる理由を選択してください

    詳細な説明はこちら

    上記に当てはまらず、質問内容が明確になっていない質問には「情報の追加・修正依頼」機能からコメントをしてください。

    質問の評価を下げる機能の利用条件

    この機能を利用するためには、以下の事項を行う必要があります。

回答 2

+2

テストベンチ無しでも合成できます。
合成されたRTLをデバッグするのは面倒なので、ユーザができるだけCのレベルでデバッグすることを誘導するために、テストベンチは必須と説明しています。テストベンチがないと以下のような問題・疑問が起きます。
1)
合成されたRTLには、clockなどもとのCの記述には存在しないものがいくつかあります。そのためデバッグが大変です。
またCの記述に含まれていた、変数、関数などは名前が変わったり、なくなったりするものがあります。
x0=a0+a1;
x1=a2+a2;
x = x0+x1;
とあればx0,x1がなくなるのは自然な感じです。
2)
もうひとつの問題は、等価性の問題です。CとRTLの内容は等価なのか?という疑問を持つ人は多いです。短い答えは「等価ではない。」で、Cで実現しようとした機能がRTLにも含まれている という答えになります。たとえば、Cでは、address NULLにアクセスすると例外が発生しますが、RTLではそもそも例外は発生しません。配列の要素が16個の場合、0から数えて、17個目にアクセスすると、RTLではたぶん2個目にアクセスしたのと同じになります。「実現しようとした」を明確にするためにテストベンチを作ります。
x)
じつのところテストベンチでテストした対象ではないものを合成することもできます。合成できない記述をテストして、同等な内容を持つ(と信じている)記述を合成してしまったことがあります。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/02/27 18:32

    詳しい解説、大変勉強になります。今ではopencvなどもザイリンクスと共同してfpgaで画像処理などを行なっているそうですね。もちろん、opencvからは無理でテストベンチなども配布されているようです。

    本題に戻りますと回答者様からの「合成できない記述をテストして、同等な内容を持つ(と信じている)記述を合成してしまったことがあります。」に関して、私の理解力の低さゆえに理解ができませんでした。もう少し砕いて説明していただけないでしょうか?
    理解したい部分であるのでどうかよろしくお願いします。

    キャンセル

  • 2018/02/28 09:16

    デバッグのために、記述を変えることがある。という話です。たいした話じゃないです。

    いい例ではないのですが、適当に自慢したいので書きます。
    void func(volatile int a[1024],.. ) {
    if (a[0] == 0 ) {
    } else if (a[0] == 1 } {
    } else if (a[0] == 2 ) {
    と書いたのと、
    void func(volatile int a[1024],.. ) {
     int a_tmp = a[0] ;
    if (a_tmp == 0 ) {
    } else if (a_tmp == 1 } {
    } else if (a_tmp == 2 ) {
    と記述した場合、速度は違い、厳密な意味で結果も違います。速度の差を分析するために一時的に上の記述を下のように変えて、何かの方法で切り替えながら作業することはありそうです。うっかり切り替えるのを忘れて下の例のつもりで、上を試してしまうことはありそうです。ってか、ありました。

    multi threadな環境では普通のX86上でも差は出るので、ハードを意識しないといけない というのは間違いですね。

    # volatile int *a ;..
    # if a[0] == a[0] が不成立になるとか、if a == a でさえ不成立になるとか..

    キャンセル

+1

テストベンチって作成したモジュールをシミュレーションするのに必要になるもので、論理合成自体には必要でしたっけ?
通常、テストベンチは論理合成の対象外だったような。

投稿

  • 回答の評価を上げる

    以下のような回答は評価を上げましょう

    • 正しい回答
    • わかりやすい回答
    • ためになる回答

    評価が高い回答ほどページの上位に表示されます。

  • 回答の評価を下げる

    下記のような回答は推奨されていません。

    • 間違っている回答
    • 質問の回答になっていない投稿
    • スパムや攻撃的な表現を用いた投稿

    評価を下げる際はその理由を明確に伝え、適切な回答に修正してもらいましょう。

  • 2018/01/21 23:30

    Vivadoのユーザーガイドによると合成には必須ではないが、C言語として正常に記述されているかチェックするために使うことを推奨されているみたいですね。main()関数内でテスト対象の関数を呼ぶだけなので自分で書いた方が早いと思います。

    キャンセル

15分調べてもわからないことは、teratailで質問しよう!

  • ただいまの回答率 90.41%
  • 質問をまとめることで、思考を整理して素早く解決
  • テンプレート機能で、簡単に質問をまとめられる

同じタグがついた質問を見る

  • C

    4137questions

    C言語は、1972年にAT&Tベル研究所の、デニス・リッチーが主体となって作成したプログラミング言語です。 B言語の後継言語として開発されたことからC言語と命名。そのため、表記法などはB言語やALGOLに近いとされています。 Cの拡張版であるC++言語とともに、現在世界中でもっとも普及されているプログラミング言語です。

  • C++

    3961questions

    C++はC言語をもとにしてつくられた最もよく使われるマルチパラダイムプログラミング言語の1つです。オブジェクト指向、ジェネリック、命令型など広く対応しており、多目的に使用されています。

  • Verilog

    15questions