Intel® Quartus® Prime Standard Edition用户指南: 调试工具

ID 683552
日期 9/24/2018
Public
文档目录

5.3.4. 添加有限状态机状态编码寄存器(Adding Finite State Machine State Encoding Registers)

查找用于调试有限状态机(FSM)的信号可能具有挑战性。从后拟合(post-fit)网表中查找节点或许是不可能的,因为Compiler可能会更改或优化掉FSM编码信号。要查找FSM信号值并将其映射到您在HDL中指定的状态名称,则必须执行一个额外步骤。

Signal Tap Logic Analyzer能够检测到编译设计中的FSM。配置在编译过程中自动跟踪FSM状态信号以及状态编码。

使用Shortcut菜单命令,通过一个命令将所有FSM状态信号添加到逻辑分析仪中。

对于添加到Signal Tap配置中的每个FSM,FSM调试功能添加了一个助记符表,将信号值映射到源代码中提供的状态枚举。助记符表使您能够在波形查看器中可视化状态机转换。 FSM调试功能支持从pre-synthesis和post-fit网表添加FSM信号。

图 41. 解码的FSM助记符包含添加了FSM调试功能的状态机的解码信号值的波形查看器。