跟李凡老师学FPGA之D04：有限状态机设计（20160426课堂笔记）

1019       
        是这么个关系，state。
        这是一段。
        现在我们来讨论两段的模型。
        两段就是用两个always语句块来描述这个理论模型。
        我们先休息十分钟。       
（休息）

1029       
        我们接着讨论两段，用两个always语句块来实现有限状态机。
        我们把它绘制成代码模型的形式。
        输入的部分是引用的部分，输出的部分是驱动的部分。
        我们把它绘制成FSM的两段里面的一段，1/2的部分。一个闭节点。
        我们说这张图要背下来。
       

1030       
        第二张图就是一段的代码模型。
        也要背下来。
        总共有四张图，代码模型。
        FSM_1S，是个闭节点，输入信号，输出信号，然后呢，引用的是状态，状态机。
       

1031       
        CS会在上层形成迭代，也就是说这个state会出现在赋值号的左右两侧。
        在状态机的这段描述里面，它是两个信号、两个端口。
        但是在它的上层，always语句块所在的module里面，由于state是同名信号，在上层把输出连接到输入，迭代是这样形成的。
        内部是两个端口，两个信号。
        这是第二张图。
        你只有把这些图记下来了，你才不会写错，你才不会把inputs写成outputs，把输入写到输出的位置上。

赞，，，，，，好，，，，，，，，，谢谢分享。。。。。。。。。。。

1032       
        这个state，我们知道，既是输入，又是输出，既可以在左侧，也可以在右侧。
        总共四张图，第一张图、第二张图，然后三、四，两端的，三段的。
        现在我们来做第三张图，两段的代码模型。
        两段的代码模型用两个always语句块，我们写成为FSM_2S1。
        1/2，它是一个闭节点。
        它所引用的信号，是NS，输出的信号是CS，是闭节点。
       

1033       
        时钟线我就省略了。
        闭节点就一定有时钟。
        然后呢，2/2部分，是一个ON，开节点。
        它的输入是CS，以及状态机的现场，输出是NS，以及状态机的输出。
        这是第三张图。
        转换关系不需要大家背。
       

1034       
        你抄下来，印象会更深刻一些。
        也就是说，任何时候，作为一个优秀的EDA工程师，一个合格的EDA工程师，问到这四张图，你都能直接在纸上把它画下来。
        很可能应聘的时候就会问到这个问题。
        立刻就能把它写下来。
        现在呢，我就来说它们之间的转换关系。
        1/2，我们写成一个闭节点，我们描述什么呢？
        我们描述什么，就得到什么。
        也就是描述的这一段，出现在always语句块里里面。
        Always语句的信号敏感表里面，必定会有且有一个未被引用的沿信号。
        Always的begin块里面，我们写什么就是什么，种瓜得瓜种豆得豆。
        在这个begin块里面所有的写在赋值号左侧的信号都会得到寄存器的输出，都会得到D触发器用沿驱动的输出。
       

1035       
        那么写什么呢？
        我们只写NS的直线，我们只需要把NS直连上去，这个CS就会出现在赋值号的左侧。
        我们可以这样写，就是CS<=NS；，CS不就出现在赋值号的左侧了，就会为它生成驱动，就会为它生成一个寄存器。
       

1036       
        并且用未被引用的沿信号来驱动它。
        那一定是时钟。
        这个是CS’，这个时候寄存器输出我们就知道，NS通过一个寄存器输出。
        在理论模型上，我们可以看得到，就是CS。
        所以说这个CS’我们就看不到了，我们描述的就是NS连接到CS的关系。
        你只要描述NS连接到CS，CS就出现在赋值号的左侧，那么一定会生成这个寄存器。
        这个就构成了1/2的部分，是个闭节点。
        时钟我省略了。