“TRIGGER PRIORITY LIST”（触发条件优先级列表）是构建 PFSM 配置的最后一个组件。配置完成后，PFSM 验证将对 PFSM 内容进行检查和验证。在“PFSM Validation”（PFSM 验证）视图中，点击 Validate PFSM（验证 PFSM）按钮。

在“PFSM”视图中，将显示结果列表。任何错误或警告都将附有说明和建议。错误和警告不会阻止程序生成，但表明应用中的器件性能存在潜在风险。建议更正所有错误，否则会妨碍正确编译或文件生成。更正所有错误后，点击 GENERATE PROGRAM（生成程序） 按钮转到“PROGRAM”（程序）透视图。

图 8-29 PFSM 验证结果