AR# 40093

XST 设计助手 - 有限状态机帮助。

描述

敬请参考此答复记录,获取有限状态机的帮助信息。

注意:此答复记录是 Xilinx XST 解决方案中心的一部分 (Xilinx 答复 38927)。 面向 XST 的 Xilinx 解决方案中心可用于解决与 XST 相关的所有问题。 无论您是进行新的设计还是寻求解决问题,请使用 XST 解决方案中心来指导您获取正确的信息。

解决方案

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))。

链接问答记录

主要问答记录

Answer Number 问答标题 问题版本 已解决问题的版本
38927 面向 XST 的 Xilinx 解决方案中心 N/A N/A

相关答复记录

Answer Number 问答标题 问题版本 已解决问题的版本
40085 Design Assistant for XST - Performance Considerations N/A N/A
AR# 40093
日期 03/17/2014
状态 Active
Type 综合文章