UPGRADE YOUR BROWSER

We have detected your current browser version is not the latest one. Xilinx.com uses the latest web technologies to bring you the best online experience possible. Please upgrade to a Xilinx.com supported browser:Chrome, Firefox, Internet Explorer 11, Safari. Thank you!

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 综合文章
的页面