1050
CS是一个线性序列，给出的启动的条件。
线性序列机的两段的第一段，输出的仍然是CS。
这个CS呢，就不必写成CS了，也不必写成state了。
因为State就是状态。
当然你写成什么名字并不重要，我们就可以把它写成count了。
Count就是状态，节拍就是状态，节拍的描述嘛，第0拍，第1拍，第N-1拍，等等。
它的触发条件，刚才说了，无论是带模，带终止符，都有一个触发条件。
当然跟现场有关，inputs。
实际上是把这两者组织在一起了，三分之一和三分之二。
仍然是这个模型。
1051
它是闭节点，闭节点的count一定会被迭代。
Count一定会加一。
Count的迭代可以内置，也可以外置。
外置呢复杂一些，但是它的性能会更好。
内置，状态机直接管理这个count，count这个信号既出现在赋值号的左侧，又出现在右侧，所以说既是它的输入，又是它的输出。
这样的话呢，整个三分之二就没有了。
原来的三分之一就留下来了。
如果我们把它的迭代线省略掉，就是一个输入信号触发count，或者是带终止符或者是带模。
Count就是state。
1052
三分之二没有了，然后只剩下三分之三。
三分之三拿过来，变成线性序列机了。
只不过CS现在换了个名字，叫做count。
并且呢也有输入。
比方说我们写线性序列机时，是写复位信号。
我们现在写线性序列机，大多数都写成摩尔机了，复位如果不算的话，其它的时候我们都是在特定的状态下面写。
所以说线性序列机是写摩尔写得更多的。
但是确实是可以写米利。
加上输入，产生对应的输出，也就是说在指定的状态下面，它产生指定的输出。
1053
如果在指定的状态下面产生指定的输出，是摩尔。
如果在指定的状态下面，输出的同时还要兼顾到输入信号，它可以写成米利。
所以说线性序列机完全没有偏离状态机的理论模型，它是状态机的特例。
凡是能够用线性序列机写的模型，它的速度优势和面积优势都要优于状态机的模型。
而且呢会更清晰，更简单。
我们已经有过很多很多这样的例子，所以说，这个也是现代前沿性的西方高校里面重点讨论的。
我们毕业以后可以关注这方面的动态。
线性序列机，LSM。
除了状态机的理论之外，我们的课程里面，我们还重点介绍了同步设计，同步电路。
状态机呢，还有一个复习的部分，就是状态转移图，这个呢，我们也研究剑桥、斯坦福他们的一些个教案。
1054
状态转移图，STG。
状态转移图里面，我会将状态转移的过程用一个圈来描述，圈称之为它的节点，转移称之为它的锋。
感谢搂着分享
谢谢分享资料又学到了
1055
我们知道状态转移的时候，状态转向何处，ST，何时转移，是那个寄存器。
所以说每一次状态转移，一定对应时钟上的一个离散点，就是每一个转移的时刻。
一个节拍的时刻，一个上升沿。无限长的时间轴上，一定会对应一个沿，这点我们已经知道了。
在早期的状态转移图上，传统的包括我们现在看到的阎石康华光的状态转移图上，并没有详细区分状态转移图对节点、沿的不同之处。
EDA对节点的描述，称之为NBD，NBD的形式是一个分数线，它的分子是它的名字。
可以带条件，条件用小括弧打起来，可以有，也可以没有。
1056
然后它的分母是输出，有多个输出可以分行来写。
写成一个分式的形式。表明到了这个节点，到了这个状态下面，产生什么样的动作。
所以说，状态转移图的设计，无论我们是系统地学习了这门课程，或者是我们主观地来做这件事情，你要么站在状态转移的角度上来考虑问题，要么是站在状态的角度上。
NBD是基于状态，EBD是基于沿。
NBD，Node Based Description。
EBD，Edge Based Description。
EBD也是一个分数，这个分数线这种形式，它是从数字电路延续过来的。
1057
我们引入数字电路以后，有的是西方的体系，有的是东方的体系。
但是状态转移图用分数的形式来描述，这一点基本上都用到了。
只不过在以往经典的数字电路里面，没有细分就是了。
它的分子是条件，可以有多个条件，也可以没有条件，然后呢分母是输出。
有多个可以分开来写，每一个转移都对应一个时钟节拍，所以说我们在写EBD的时候，我们的状态转移图上，因为它现在并没有形成一个国际标准，所以说我们现在的约定是，在这个转移里面。
