网表仿真时状态机的state的state总是z状态

没有赋值吧?

悬空的管脚吧?

综合时被优化掉了?

a):被优化掉了。看看RTL这个dff是不是没有load.
b):改名字了。看看RTL里面有哪儿用这个DFF。再去gate里面找到对应的位置。争取弄明白怎么回事。一定要看netlsit。虽然很烦。

start[0]译码中没有使用到，被优化了。