AR# 40093

描述

解决方案

XST 可将有限状态机 (FSM) 从 RTL 代码中提取出，并根据状态和输入数量对 FSM 进行重新编码优化。

如果一个 FSM 被提取出，您将在“ HDL 综合”阶段看到如下类似信息。

而且，您将看到如下类似信息，该信息表明在低层次综合阶段使用的是哪种编码算法。

有一些用来控制 FSM 优化的 XST 选项。

• FSM_extract
  • 是否将 FSM 从 RTL 代码中提取出来。
• FSM_encoding
  • 规定使用哪种 FSM 编码算法。默认值是自动，意思是 XST 自动为每个 FSM 找到最佳编码类型。
• FSM_style
  • 规定使用哪种类型的资源来实现 FSM、LUT 或 BRAM。 默认值是 LUT。如果设置为 BRAM，那么通过在 Block RAM 中实现，大型 FSM 就可更快和更加紧凑。
• Safe_implementation
  • 是否在安全模式实现 FSM。XST 可将逻辑添加到您的 FSM 实现方案中，从而让您的状态机能够从无效状态中恢复。默认情况下，XST 会将复位状态作为恢复后的状态。但是，任何状态都可作为恢复状态，并可通过Safe_recovery_state 约束来定义。
• Safe_recovery_state
  • 当在安全实现模式下实现 FSM 时，应定义恢复状态。如果未规定 Safe_recovery_state，则将复位状态作为恢复状态。

如需在应用 XST 约束方面获得帮助，敬请参考 (Xilinx 答复 39749)。 如欲详细了解有关 FSM 的 XST 约束，敬请参考 XST 用户指南 (Xilinx 答复 38931))。

链接问答记录

主要问答记录

相关答复记录