跟李凡老师学FPGA之D100：FPGA 100天总结（20170520课堂笔记）

1058
        我们这种约定呢也有道理，就是以后看国外的文献，看到类似的状态转移图，它如果出现这种，比方说像Ciletti，他的就这么写的。
        它的含义就是这样。
        如果它的EBD条件是无条件，我们将会写成一个星号，表明无条件。
        然后呢，加上它的输出。
        如果没有分母，就是这次转移是没有驱动的，没有驱动我们也涉及到安全行为的问题。
        就认为是默认的动作，之前已经驱动了这个信号，那么这个寄存器没有动作，它应该是保持住的。
        保持住，就没有分母的驱动。

1059
        当没有分母的驱动的时候，分数线可以省略掉。
        另外一种形式就是，如果是完全相悖的条件，并且没有驱动，就是我们在写这个状态转移图的时候，可能它有很多个转移，C1，C2，这个转移如果没有写，可以不写的。
        意味着，如果它没有分母，并且所有的条件都是相悖的，文献上的一种写法，直接写一个惊叹号，当然有输出要写上。

1100
        如果没有输出，写一个惊叹号也可以，就表明完全相悖的条件，或者干脆什么都不写，也是省略。
        它什么都不写，就说明这个转移里面没有输出。
        其次它的条件一定是C1、C2相悖的条件。
        状态机的设计跟同步电路、跟TP图、跟节拍分析都紧密相连。
        我们已经做过很多这样的训练。
        稍后我再做一个类似的总结。
        状态转移图是基本的一个应用。

1101
        我们很难想象，一个复杂的设计，一个复杂的控制逻辑，一个复杂的状态机，在没有状态转移图指导的情况之下，你能把它写得很完善。
        我们现在看一下Ciletti的科罗拉多州的教材，或者一会我们给出引文，看一下斯坦福的教材，剑桥的教材。
        为什么我们看Altera的教材上，它反而不给呢？
        你看它的IP，就是一个说明书，说明了怎么怎么用。
        它内部有维护文档啊，一定会有非常详尽的、描述得非常准确的状态转移图。
        它一定会有这个状态转移图，所以说我们知道这个状态转移图的重要性，复杂的设计里面，一定要做这个状态转移图。
        在状态转移图的时候，我们要考虑的就是，哪些事情先发生？
        哪些事情后发生？
        信号和信号之间的因果关系。
        你的设计者把这些因果关系组织起来，前因后果，先来后到，这些呢，都是有序的一个组织。

1102
        这样的话呢，你的逻辑，你的这个电路是designed，是设计出来的。
        设计的结果就意味着什么呢？
        需求、设计、交付、施工，不离其左右，这才能做大做强做复杂。
        所以说我们要强调设计，要强调状态转移图。
        而且这个状态转移图里面，我们的培训的课程，我们也比较侧重于这个方面，我们的同学也做得很好。
        我们不仅能在纸上做，我们还能在word上做电子文档。
        我们不仅能够做状态转移图的开节点、闭节点，不仅能做跟时序的对应关系，也能做跟TP图的对应关系。
        这是状态转移图。
        状态转移图适用于状态机，对线性序列机而言，可以用状态转移表。

1103
        线性序列机的状态转移表有一种说法，就是SMF，sequential machine flow。
        这个名字存在于某些文献中，它的通用的名字就是线性序列机的状态转移表。
        不要换了一个名字，我们就不认识了。稍后我们也复习一下，包括同步电路等。
        我们说过的同步电路这些知识，可能换了一个文献，它描述的形式不同，它的命名不一样，我们还要能认出来。
        状态转移表，由于线性序列机它的状态转移的过程，是前一个状态指向后一个状态。

1104
        你用状态转移图来描述，是没有什么意义的。
        它一定是这样的，一系列的转移，状态转移图上面不必要的，只要用一张表格来描述，这张表格的表头的形式基本上有三种。
        第一列，是描述它的节拍。
        第二列，描述线性序列机的第一段。
        就是我们刚刚绘制的，线性序列机的第一段，是产生CS，产生状态。
        这个状态叫state也可以，叫count也可以。
        叫什么都可以，起一个合理的名字。

1105
        至芯的课程对起名是有要求的。
        命名有六个字的原则，要看得懂、不相同。
        根据输入信号来启动带模、带终止符，第一段描述的就是count或state。
        然后线性序列机的第二段，都是闭节点。
        第二段，摩尔的情况之下，就是state，或者是叫count。
        在米利的情况之下还要引用输入。
        线性序列机写米利还是比较少，主要是写摩尔。
        这个是写线性序列机的第二段。

所以说我们要强调设计，要强调状态转移图。
        而且这个状态转移图里面，我们的培训的课程，我们也比较侧重于这个方面，我们的同学也做得很好。
        我们不仅能在纸上做，我们还能在word上做电子文档。
        我们不仅能够做状态转移图的开节点、闭节点，不仅能做跟时序的对应关系，也能做跟TP图的对应关系。
        这是状态转移图。
        状态转移图适用于状态机，对线性序列机而言，可以用状态转移表。
赞，，，，，，，，，，，谢谢分享。。。。。。。。。。。。。

1106
        要讨论复位，复位是一个特殊的状态，无论是STG，还是状态机的状态转移表，都要讨论复位。
        复位下面，count/state怎么样？
        输出的信号怎么样？
        置位以后，就来讨论s0怎么样？
        s1怎么样？
        到了哪个节拍，进行什么样的动作？
        这是SMF，线性序列机。
        我们再休息十分钟。

休息