CO | P0_Logisim

Logisim的东西不是很难，可能刚开始不太会使用软件，推荐参考这个博客来学习一下器件都是什么以及用法，最开始会做一些基础的操作即可，到P3上机的时候可能主要注意学习一下部分器件自己的特有的性质。

Logisim元件用法详解一：Wiring 线_logisim分线器-CSDN博客

Logisim元件用法详解二：Gates 门_logisim各种符号-CSDN博客

Logisim元件用法详解三：Plexers 复用器_logisim plexers-CSDN博客

Logisim元件用法详解四：Arithmetic 运算器_logisim 移位运算-CSDN博客

Logisim元件用法详解五：Memory 储存库_logisim counter元件-CSDN博客

常见的门逻辑符号及其真值表

Project->Analyze Circuit很好用，一定要会用。

有限状态机

P0主要考察的就是有限状态机，能区分两种有限状态机，并且理解他们的区别即可。

推荐先学习元器件使用，然后找一个别人画好了的有限状态机，去理解在他的实现中，每个部件的作用，再自己模仿着去画。

此外，在构建电路的时候，要注意一下同步复位和异步复位的实现。

Moore状态机：输出仅仅与当前状态有关；

Mealy状态机：输出不仅取决于当前状态，还和输入有关；

Moore状态机和Mealy状态机可以相互转换。

Mealy状态机状态转换图，输出在箭头上；Moore状态转换图，输出在圆圈上

~Mealy状态机~

~Moore状态机~

构建方法：

1. 画出一个状态转换图 【起始状态（复位状态）】
2. 根据图列状态转换表，列出真值表（包含输入、当前状态、下一个状态）
3. 根据这个二进制的状态转换真值表，列出布尔表达式，画出下一个状态电路图（或使用Project->Analyze Circuit自动生成电路图）
4. 列输出表（包含：~输入（仅Mealy型）~状态、输出）
5. 根据输出表画出输出逻辑电路

同步复位

异步复位

直接将复位信号连接到 register 的 reset 端口即可

状态初始化方法

使用这样的电路图，将状态初始化成0（初始状态）