【新人求助】关于有限状态机

只看该作者 · 2017-2-8 21:05

刚开始学习FPGA，看到老师写的VHDL代码里写状态机的时候并没有给状态编码，我用RTL观察发现quartus给了一个States Machine，点开看里面有状态跳转图，我想问的是如果不给状态编码，quartus会自动选择一种编码方式吗？如果是这样又怎么处理无关态呢？

只看该作者 · 2017-2-9 14:50

自顶一下~

只看该作者 · 2017-2-9 16:23

会选择一种编码方式，比如自然码、独热码等。综合报告中可以看到的

只看该作者 · 2017-2-9 16:42

waiter 发表于 2017-2-9 16:23
会选择一种编码方式，比如自然码、独热码等。综合报告中可以看到的

那如果我自己编码的话，比如这样
CONSTANT st0 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0001" ;
CONSTANT st1 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0010" ;
CONSTANT st2 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0100" ;
CONSTANT st3 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "1000" ;
SIGNAL current_state, next_state: STD_LOGIC_VECTOR(3 DOWNTO 0);
这样的话我看RTL中不会显示States Machine，这是为什么呢？一定要这样写TYPE states IS (st0, st1, st2, st3);

只看该作者 · 2017-2-9 17:05

随便编，没任何问题，编译器足够智能，也可以在代码添加编译辅助语句

只看该作者 · 2017-2-9 17:07

feihufuture 发表于 2017-2-9 17:05
随便编，没任何问题，编译器足够智能，也可以在代码添加编译辅助语句

那如果我自己编码的话，比如这样
CONSTANT st0 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0001" ;
CONSTANT st1 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0010" ;
CONSTANT st2 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "0100" ;
CONSTANT st3 : STD_LOGIC_VECTOR(3 DOWNTO 0) := "1000" ;
SIGNAL current_state, next_state: STD_LOGIC_VECTOR(3 DOWNTO 0);
这样的话我看RTL中不会显示States Machine，这是为什么呢？一定要这样写TYPE states IS (st0, st1, st2, st3);吗？