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;