求助：状态机（quartus II生成）的always0和!always0是什么条件

泼墨染笛香

对于征途Pro视频二十讲（开发实战指南23章）复杂状态机例程，请教两个问题

问题1：生成的状态机表格中always0和!always0是什么条件?

    前几个源状态的跳转条件都是两个输入变量pi_money_half和pi_money_one的组合。

    那么源状态TWO跳转的条件always0和!always0也应该是它俩的组合吧？分别对应什么？

问题1：例程生成状态机

问题2：为什么这两组代码生成的结果不一样？其中pi_money = {pi_money_one, pi_money_half};

问题2：情况3.1

问题2：情况3.2

（附件有工程，可在quartus II中编译后查看"Analysis & Synthesis"-"Netlist Viewers"-"State Machine Viewer"）

complex_fsm_test2.zip (2.93 MB, 下载次数: 3)

4 天前 上传

点击文件名下载附件
工程

dadada101

平台的问题，前面出现过的条件，平台自动优化掉了

泼墨染笛香

dadada101 发表于 2025-1-8 13:36
平台的问题，前面出现过的条件，平台自动优化掉了

1.前面出现的条件指什么？
2.always0和!always0应该是下面这四个的组合吧？分别对应什么
(!pi_money_half).(!pi_money_one)
(pi_money_half).(!pi_money_one)
(!pi_money_half).(pi_money_one)
(pi_money_half).(pi_money_one)

泼墨染笛香

dadada101 发表于 2025-1-8 13:36
平台的问题，前面出现过的条件，平台自动优化掉了

另外我代码里先判源状态为TWO，还是这结果。前面可没啥条件