Verilog 触发器状态机语言描述

触发器状态机语言描述

触发器状态机语言用于描述映射到 ILA 调试核的高级触发器逻辑的复杂触发条件。触发器状态机具有下列特性 ：

• 最多 16 种状态。

• 用于复杂状态转换的单向、双向和三向条件分支。

• 4 个内置 16 位计数器 ， 用于对事件进行计数、实现定时器等。

• 4 个内置标记 (flag) ， 用于监控触发器状态机执行状态。

• 触发器操作。

状态

每个状态机程序均可声明最多 16 种状态。每种状态均由状态声明和主体组成 ：

state <state_name>:

<state_body>

Goto 操作

goto 操作用于执行状态转换。以下是使用 goto 操作在触发前执行状态过渡的示例 ：

state my_state_0:

goto my_state_1;

state my_state_1:

trigger;

条件分支

触发器状态机语言支持对应每个状态的单向、双向和三向条件分支。

• 单向分支涉及使用 goto 操作 ， 且其中不含任何 if / elseif / else / endif 结构 ：

state my_state_0:

goto my_state_1;

• 双向条件分支使用 goto 操作 ， 且其中包含 if / else / endif 结构 ：

state my_state_0:

if (<condition1>) then

goto my_state_1;

else

goto my_state_0;

endif

• 三向条件分支使用 goto 操作 ， 且其中包含 if / else / elseif / endif 结构 ：

state my_state_0:

if (<condition1>) then

goto my_state_1;

elseif (<condition2>) then

goto my_state_2;

else

goto my_state_0;

endif

计数器

4 个内置 16 位计数器都具有固定名称 ， 分别为 $counter0 、 $counter1 、 $counter2 和 $counter3 。计数器可

复位、递增 ， 也可用于条件语句。

• 要将计数器复位 ， 请使用 reset_counter 操作 ：

state my_state_0:

reset_counter $counter0;

goto my_state_1;

• 要使计数器递增 ， 请使用 increment_counter 操作 ：

state my_state_0:

increment_counter $counter3;

goto my_state_1;

标记

标记 (Flag) 可用于监控触发器状态机程序执行时的进展情况。 4 个内置标记都具有固定名称 ， 分别为 $flag0 、

$flag1 、 $flag2 和 $flag3 。标记可设置也可清除。

• 要设置标记 ， 请使用 set_flag 操作 ：

state my_state_0:

set_flag $flag0;

goto my_state_1;

• 要清除标记 ， 请使用 clear_flag 操作 ：

state my_state_0:

clear_flag $flag2;

goto my_state_1;