System Generator for DSP リファレンス ガイド - Xilinx

Registered Mealy State Machine
Registered Mealy State Machine
ミーリ マシンは、 出力がステート 遷移の関数 (マシンの現在のステート
と入力の関数) である有限ステート マシンです。 レ ジ ス タ付き ミ ー リ マ
シンはレジスタ付き出力を持つステート マシンで、 次のブロ ッ ク図で示
されます。
System Generator では、 さ まざまな方法でこのよ う なステー ト マシンをインプ リ メ ン ト できます。
一例 と し ては、 MCode ブ ロ ッ ク を使用し て遷移関数を イ ンプ リ メ ン ト し、 レ ジ ス タ を使用し て ス
テート変数をインプリ メントする方法があります。 このリファレンス ブロックでは、ブロッ ク メモ
リ および分散 メ モ リ を使用し て ミ ー リ マシンをインプ リ メ ン ト します。 インプリ メンテーション
は、 高速で効率的です。 たとえばザイリンクスの Virtex デバイ スでは、 150MHz 以上で動作する 1
つのブロ ッ ク RAM を使用して、 8 ステート、 1 入力、 2 出力のレ ジ ス タ付き ス テー ト マシンを実
現でき ます。
遷移関数 と 出力の対応は、 それぞれ N × M マト リックスで表されます。 ここで N はステート数、
M は入力英字のサ イ ズ (2 進入力の場合は M = 2) です。 行数を 0 ~ N - 1、 列数を 0 ~ M - 1 にす
る と 便利です。 各ステートは 0 ~ N - 1 の符号な し整数 と し て、 各英字は 0 ~ M - 1 の符号な し整
数として表されます。 各マト リックスの行インデックスは現在のステートを示し、列インデックス
は入力文字を示し ます。
F を N × M 遷移関数マ ト リ ッ ク ス、 O を N × M 出力関数マ ト リ ッ ク ス、 現在のス テー ト を i、現
在の入力文字を j とすると、 F(i,j) は次のステー ト 、 O(i,j) はミーリ マシンの対応する出力です。
System Generator for DSP リファレンス ガイド japan.xilinx.com 401
リリース 9.2.00 2007 年 8 月
R