arm Cortex-M1(Cortex-M0をFPGA向けに最適化したコアらしい)がXilinx FPGAで無償で利用できるという話をきいたので，試してみました．
リソースは，Easy Access to Cortex-M Processors on FPGA からアクセスできる．
XC7A35向けの合成で，リソース使用量は，
という結果．HCLKという動作クロックっぽいポートには100MHzが供給されていた．
MicroBlazeは，テンプレートで作ったササンプルデザインで，最適化オプションがPERFORMANCEで1405 Slice，最適化オプションがAreaで316 Sliceなので，Cortex-M1のリソース使用量は，その間くらいに当たるよう．
配置配線のフロアマップは下の通り．
うっかりyum updateしてしまったCentOSにSDAccel環境を構築しました．スペックはこんな感じ．
ドライバのインストールにこんな driver.patch が必要でした，というメモ．
GoogleのTPU論文で界隈が賑わっていますが，いくつか目をひくポイントの一つが256×256のシストリックアレイな行列演算器ではないでしょうか．
というわけで（？）シストリックアレイな行列演算器をSynthesijer.Scalaで書いてみました．
ソースコードは mkSystolicMatrixMultiplicationUnit.scala です．
FPGAマガジン No.14に掲載していただいた”第8章 画像データをダイレクト入力! OpenCLによるカメラ制御&画像処理”の関連リストおよび補足です．
FPGAマガジン No.13のMAX10特集に掲載していただいた”第1章 MAX10+BLEモジュールでスマホ制御ラジコンを作る!”の関連リストおよび補足です．
記事では，Macnicaから販売されているOdyssey MAX10 FPGA Eval Kitを紹介しています．提供されているOdyssey IoT Solutionsを使って，”簡単な”FPGA+BLEなモバイルアプリケーションを”簡単”に開発できる環境です．FPGAに限らず組み込み関連では，ちょっとした簡単なことをしたいだけなのに準備が大変なことも多いのですが，この環境では手軽に試すことができます．
詳しくは，本文を参照いただければ嬉しいのですが，サンプルと補足はこちらをご覧ください．
ジグソーモデルは中野先生が提案された，ジグソーパズルを利用したメタモルフィズムの計算機構，です．
計算の途中の状態をジグソーパズルのピースに見立て，入力と時々の状態に対してうまく当てはまるようにピースを並べていけば計算が終わるという楽しい計算機構です．データの与えられ方によっては並列に計算できたり，入力が中途半端に与えられた状態でもできる部分から計算できたり，という特徴があります．
2013年のプログラミングシンポジウムで話を聞いたときに，HDLで書いてハードウェア化してみるのもいいかなーと思いながらも，なんとなく2016年の今日までそのままに…
とりあえずは最初の例題くらいは実装しておこうと，ふと試してみました．
activator(sbt)を使ったシンプルなSynthesijer.Scalaの始め方について紹介します．EclipseでScalaプラグインを使って開発する場合には，Synthesijer.Scalaを使ってみる(Eclipse編)も参照してください．
SynthesijerはJavaプログラム”を”同様な振る舞いをするVHDL/Verilog HDLに変換しますが，Synthesijer.ScalaはScala”で”RTLモジュール(最終的にはVHDLあるいはVerilog HDLで出力)を組み立てるツールです．クロックレベルでの制御，同時並行処理を記述できます．
FPGAマガジン No.11に掲載していただいた”Synthesijerを使ったFPGA上でのグラフィックス・プログラミング”という記事に使ったサンプル一式をアーカイブにまとめました．執筆当時くらいから，HDLライブラリのポート宣言方法などが変更になったため多少掲載コードと異なっています．
サンプルでは，HDMI出力部分をXilinx XAPP495で紹介されているコードを利用していますので，手元で合成する場合には，あらかじめXAPP495関連リソースをダウンロードしておく必要があります．
ちなみに，グラフィクスの事例としては，
が，とても楽しく仕上げられています．
※ kick，busyのクロック遅延が気に入らなかったので若干回路を変更しました(8/19)
ネットワークの構成は，もっともシンプルな構成のひとつである，最大の要素を一番下に落としていくというタイプの実装です． ソーティングネットワーク(Wikipedia)で”バブルソートにあたる”と紹介されているもの，です．
構成要素の実装からはじめて，ネットワークの組み立て部分を紹介していきます．最後にコードの全容を掲載しています．
ネットワークを構成するプリミティブは，２つの入力を受け取り，小さいほうを上に，大きいほうを下に出力する，というコンポーネントです．
Synthesijer.Scalaで書くとこんな感じです．
// プリミティブを生成するメソッド
// a, bはハードウェア世界の演算要素のインスタンス
def prim_net(a:ExprItem, b:ExprItem):(ExprItem, ExprItem) = {
val s0, s1 = signal(32) // 新しいsignal(ハードウェア世界の変数)を生成する
s0 := ?(a > b, b, a) // S0には小さい方を接続
s1 := ?(a > b, a, b) // S1には大きい方を接続
return (s0, s1)
}
signal(32)で32bitの信号(VHDLでいうsignal，Verilog HDLでいうwireかreg)をつくり，それぞれに比較器の出力を接続しています．メソッド自体の返り値は，ソート結果が格納された信号インスタンスのペアです．