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

Assert
Assert
ブロック パラ メータ
このブロックは、 [Xilinx Blockset] の [Index] ライブラリにリストされています。
Assert ブ ロ ッ ク は、 信号にレー ト やデータ型を アサー ト する ために使用し ます。 この
ブロックには、 ハードウェア コ ス ト がかか り ません。 こ のブ ロ ッ ク を使用する と 、
設計者が手を入れる必要のあ る場合に、 レー ト やデータ型の問題を改善で き ます。
ブロッ ク パラ メータのダイアログ ボックスは、 Simulink モデル内のア イ コ ンをダブルク リ ッ クす
る と 表示されます。
このブロックでは、 次のパラメータが設定できます。
• [Assert type] : 入力に指定したデータ型と同じ型をアサートするかど うかを指定します。 デー
タ型が同じ でない場合は、 エ ラー メ ッ セージが表示 さ れます。
• [Specify type] : アサー ト するデータ型を type と い う 入力ポー ト に接続さ れた信号か ら決定す
るか、 このダイアログ ボックスの [Explicitly] をオンに し て決定する かを指定し ます。
• [Assert rate] : 入力に指定し た レー ト と 同じ レー ト を アサー ト する かど う かを指定し ます。 レー
トが同じでない場合は、 エラー メ ッ セージが表示 さ れます。
• [Specify rate] : アサートする最初のレートを rate と い う 入力ポー ト に接続さ れた信号か ら決定
するか、 このダイアログ ボックスの [Explicitly] をオンに し て決定する かを指定し ます。
• [Provide output port] : ブロ ッ クに出力ポー ト を含めるかど う かを指定し ます。 出力ポー ト の信
号の タ イ プやデータ型には、 アサー ト に指定し た も のが使用さ れます。
このブロックで使用されるその他のパラメータは、 ブロッ クのパラ メータ ダイアログ ボックスの
共通オプシ ョ ンで説明されています。 このブロックの [Output type] のオプシ ョ ンは、ブロックのパ
ラメータ ダイアログ ボックスの共通オプションで説明される演算タイプと同じです。
このブロックでは、 ザイ リンクス LogiCORE は使用されず、 ハー ド ウ ェ アにイ ンプ リ メ ン ト され
ても リ ソースが使用されません。
Assert ブ ロ ッ ク を使用し たレー ト およびデー タ型の改善方法
シミュレーション エンジンでレー ト やデータ型の問題が回避で き なかった場合は、Assert ブロッ ク
を使用し て特定レー ト やデータ型を強制的に設定し ます。 通常、 こ のブ ロ ッ ク を使用する のは、
フ ィ ー ド バ ッ ク を使用し、 信号 ソ ース と し て動作する コ ンポーネン ト を使用し た場合です。 たとえ
ば、 次の回路図では、 SRL16 のレー ト と データ型を設定する ために Assert ブロックが必要になり
ます。 この場合、 Assert ブ ロ ッ ク を使用する と 、 最初のレー ト が設定で き ます。 こ れが SRL16 を
通った後、 Assert ブロックに戻り、SRL16 の入力に戻 り ます。 次の回路図の場合、 Assert ブロック
が使用されていないので、 次のよ う なエ ラー メ ッ セージが表示 さ れます。
System Generator for DSP リファレンス ガイド japan.xilinx.com 57
リリース 9.2.00 2007 年 8 月
R