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

R
ステート マシンの構築
MCode ブロックを使用してステート マシン を構築する方法は、 2 つあ り ます。 1 つは、 MATLAB
関数を使用し て処理状態を把握し ない遷移関数を指定し、 MCode ブロック と 1 つまたは複数のス
テー ト レジスタ ブ ロ ッ ク を組み合わせる方法です。 通常、 MCode ブロックは次のステート を表す
値でレジス タ を駆動し、 レジス タは現在のステー ト を MCode ブロッ クに送信します。 これには、
MCode ブロックからのステート出力の精度をスタティ ックにする (ブロッ クへのどの入力からも
独立させる) 必要があ り ます。 場合に よ っ ては、 xfix() 変換関数を使用し て、 ス タ テ ィ ッ ク な精度に
する必要のあ る こ と も あ り ます。 次のコードは、 これを実行する例です。
function nextstate = fsm1(currentstate, din)
% some other code
nextstate = currentstate;
switch currentstate
case 0, if din==1, nextstate = 1; end
end
% a xfix call should be used at the end
nextstate = xfix({xlUnsigned, 2, 0}, nextstate);
もう 1 つの方法では、 ス テー ト 変数を使用し ます。 上記の関数は、 次の よ う に書き直す こ と がで き
ます。
function currentstate = fsm1(din)
persistent state, state=xl_state(0,{xlUnsigned,2,0});
currentstate = state;
switch double(state)
case 0, if din==1; state = 1; end
end
ステー ト 変数の リ セ ッ ト 信号と イネーブル信号
MCode ブ ロ ッ ク では、 ス テー ト 変数への条件代入文に含まれる分岐が 2 つ以下の場合、 自動的に
レ ジ ス タ の リ セ ッ ト 信号およびイ ネーブル信号を推論させる こ と がで き ます。
たとえば、 次の M コードでは persistent ステート変数 r1 の条件代入文で イ ネーブル信号が推論さ
れます。
function myFn = aFn(en, a)
persistent r1, r1 = xl_state(0, {xlUnsigned, 2, 0});
myFn = r1;
if en
r1 = r1 + a
else
r1 = r1
end
こ の場合、 persistent ス テー ト 変数の r1 への条件代入文に 2 つの分岐があ り ます。 こ の条件代入を
実行する ために、 レ ジ ス タ が 1 つ使用さ れています。 レジスタの入力は r1 + a に、出力は r1 に接続
されます。 このレジスタのイネーブル信号は推論され、 en がアサート されたと きに en ポー ト に接
続されます。 persistent ス テー ト 変数の r1 は en が false になる と r1 + a に代入され、 レジス タのイ
ネーブル信号がデ ィ アサー ト さ れる と r1 が r1 に代入されます。
次の M コード でも、 イネーブル信号が推論されます。
function myFn = aFn(en, a)
persistent r1, r1 = xl_state(0, {xlUnsigned, 2, 0});
myFn = r1;
if en
r1 = r1 + a
232 japan.xilinx.com System Generator for DSP リファレンス ガイ ド
リリース 9.2.00 2007 年 8 月