求助状态机跑飞

muchuanhua · 发表于 2012-7-31 21:26:23

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？注册

x

各位大侠，

      我想请教一个问题：为什么有了default语句，状态机仍然不见得是安全的呢？
      我看了synplify的一个关于写safe state的文章<Designing Safe Verilog State Machines with Synplify.pdf>，但是没怎么看懂~·  invalid状态和unreachable状态有什么区别呀？它上面的意思是unreachable state就是default中的，invalid state就是因为外界因素跳转产生的，如果出现了，需要后续的一些处理把状态机复位！
      它里面的一个例子中说跳到00000状态就是invalid，但是这个case是有default语句的，这个00000应该是unreachable状态呀。真的理解不了·~

      各位大侠，如果有知道的，请指点请指点，感激感激！感激！

      那篇文章在附件中，请查看。

muchuanhua · 发表于 2012-7-31 21:28:05

刚发了帖子，发现如果要下这个文献需要消耗信元，让各位大侠浪费信元真的8好意思，如果可以的话，您给我您的邮箱，我给您发email~~谢谢谢谢！

rvnistelrooy · 发表于 2012-8-1 09:01:12

回复 1# muchuanhua

有default语句，状态机本身应该是没问题的。我觉得是他工具的原因，自动优化了？
文档里面有这句话：
“If Synplify is used to synthesize this design as is, the result is an optimized state
machine with the transition logic for unreachable states removed. The final
implementation is basically a shift register.”