top of page

[Chisel]Whenの中は必ず評価される


現象

  • 配列がある

  • インデックスを表す変数が配列のサイズ内かをチェックし、サイズ内の場合のみ要素にアクセス


というよくあることをやろうとした

val array = Seq.fill(ARRAY_SIZE)(...)
when(i.U < ARRAY_SIZE){
  array(i-1) := ...
}

すると下記のエラーが発生

java.lang.IndexOutOfBoundsException


ちゃんとwhenでガードしてるのに、、、



原因と解決策

原因は、タイトル通りwhenの中身は必ず実行、評価されるから。

上記の例でいえばi.U >= ARRAY_SIZEでもarray(i-1)にはアクセスし、エラーとなる。


簡単な解決策はifを用いること。ifは高級言語と同じく実行ポインタが変わるので条件を満たさない場合はあるコードを実行しない、ということが可能。


ただ、このような場合は一度設計を見直した方がいいと思う。

僕の場合は、(詳細は省きますが)二重ループの順序を変えることでifを使わずとも解決できた。



なぜ中身が評価される?

ソースを読んでいないので(読んだがよく分からなかったので)想像だが、「条件が満たされた場合のみ中身を実行」ではなく「条件が満たされたら実行結果を有効化する」ということをしているのだと思う。これも「ハードウェアの制御」という観点で見ればマルチプレクサの動作などを考えれば妥当と思われる。

最新記事

すべて表示

[Chisel] Queue.enq.valid vs deq.valid

概要 Queueを使ってデータのやり取りをする場合、以下のような操作が可能です。 Queue.io.enq.valid:falseにするとデータを入れない Queue.io.deq.valid:falseにするとデータを取り出さない これらの使い分けについてまとめてみます Queue.io.enq.valid これは「ある条件が満たされたらデータを入れない」という場合にfalseにします。そもそも

[Chisel]ポリモーフィズムは使わない

やりたいこと 類似したユニットが複数ある これらの処理は大部分が共通で一部のみ異なる 条件に応じて適切なユニットを1つ選び、処理を実行させる やろうとしたこと これを実現するために 親クラスを定義し、共通処理はここに記述 各ユニットは上記を継承する子クラスとして定義し、独自の処理はここに記述 どのユニットに処理を実行させるかを決定 「実行するユニット」を表す変数を定義。型は親クラス。 選ばれたユニ

[Chisel]繰り返しを途中で抜ける

やりたいこと ★ 同種のモジュールが複数ある これらのうち、所定の条件を満たすものを1つ選択 これを実現するために モジュール一覧を配列で定義 Seq.tabulateでモジュール配列に対してループを回す 1つ1つ条件を満たすかチェック 満たせばそれを選択し、ループ終了 という高級言語では一般的なことをやろうとした しかし、chiselの文法ではループを回せてもそれを途中で抜ける(いわゆるbrea

Comments


あなたの買い物をサポートする
アプリ Shop Plan

iphone6.5p2.png

​いつ何を買うかの計画を立てられるアプリです。

google-play-badge.png
Download_on_the_App_Store_Badge_JP_RGB_blk_100317.png

靴を大切にしよう!靴管理アプリ SHOES_KEEP

納品:iPhone6.5①.png

靴の履いた回数、お手入れ回数を管理するアプリです。

google-play-badge.png
Download_on_the_App_Store_Badge_JP_RGB_blk_100317.png

「後で読む」を忘れないアプリ ArticleReminder

気になった​Webサイトを登録し、指定時刻にリマインダを送れるアプリです

google-play-badge.png
Download_on_the_App_Store_Badge_JP_RGB_blk_100317.png
bottom of page