代码之家 › 专栏 › 技术社区 › Abraham McIlvaine

Yosys FSM检测状态分配?

yosys fsm verilog

0

Abraham McIlvaine · 技术社区 · 8 年前

我试图在我的一个项目中使用Yosys,但我对FSM检测感到困惑。

我阅读了以下帖子: FSM export using Yosys

我的问题是关于Yosys从Verilog文件中检测到的状态转换。在上面链接指向的帖子上,我看不到从状态1过渡到状态3的任何方法;然而,在生成的图形中有。这是怎么回事?提前谢谢。

1 回复 | 直到 8 年前

1

CliffordVienna 8 年前

州名称是任意指定的。它们不编码与状态对应的状态寄存器的数值。查看图表和原始Verilog代码,我认为该示例的映射如下:

s0: state == 0
s1: state == 2
s2: state == 1
s3: state == 3