UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

AR# 21243

7.1i XST - XST ログ ファイルでメッセージをフィルタする方法について

説明

キーワード : FSM, unreachable, incorrect, 有限ステート マシン, 不正

XST 7.1 には、ステート エンコーディングや達成不可能なステートの値をレポートする機能が新しく追加されています。 特定の FSM を使用すると、この達成不可能なステートが間違ってレポートされることがあります。

この問題は、VHDL でステートの一部が使用されない列挙型の FSM が作成された場合に発生します。

:
type State_type is ( IDLE,START,STATE1,STATE2,STATE3,STATE4,STATE5,STATE6);
signal current_state : State_type;
signal next_state : State_type;
:
:
case current_state is

when IDLE =>
if in1 = '1' then
out1 <= '1';
next_state <= START;
end if;

when START =>
if in2 = '1' then
out2 <= '1';
next_state <= STATE3;
end if;

when STATE3 =>
if in3 = '1' then
out3 <= '1';
next_state <= STATE5;
end if;

when STATE5 =>
if in4 = '1' then
out4 <= '1';
next_state <= START;
end if;

when others => next_state <= IDLE;
end case;
:
:

ソリューション

この問題を回避するには、コマンド ライン オプションか HDL を使用して signal_encoding 制約を使用します。

コマンド ライン オプション :
1. Project Navigator が既に開いた状態で、[Synthesize - XST] プロセスを右クリックし、[Properties] をクリックします。
2. [Synthesis Options] タブをクリックします。
3. [Other XST Command Line Options] に -signal_encoding ユーザーを挿入します。
4. [OK] をクリックします。

HDL に制約を挿入します。

:
type State_type is ( IDLE,START,STATE1,STATE2,STATE3,STATE4,STATE5,STATE6);
signal current_state : State_type;
signal next_state : State_type;

attribute signal_encoding : string;
attribute signal_encoding of current_state : signal is "user";
attribute signal_encoding of next_state : signal is "user";
:
:


NOTE: There are some complex FSMs on the signal_encoding constraint that do not work on the signal, in which case, place the signal_encoding constraint on the VHDL entity:

entity top is
port (
:
:
);

attribute signal_encoding : string;
attribute signal_encoding of top : entity is "user";

end entity;

この問題は、ISE 8.1i で修正されています。
AR# 21243
日付 01/07/2009
ステータス アーカイブ
種類 一般
このページをブックマークに追加