跟李凡老师学FPGA扩频通信D01：串行通信基础（20170418课堂笔记）

1157
        然后我们看看状态转移图。

1158
        画状态转移图。

1159
        两个clk2控制一个clk。
        Clk为低电平。

1200
        这张图也可以化简。
        解码器，我们要把它的代码做出来。
        做出来以后，我们要做基于ABV的验证。
        因为我们马上会做通信。
        通信的整个过程，我们都要做基于断言的验证。
  

1201
        解码的部分，代码以及ABV的验证，下午接着做。
        做完以后，我们还得讨论一个完整的串行通信的模型。
        上午先到这。

（午休）

1331
        新建manchester_decoder.v文件。
        将其设为顶层。

1332
        编写manchester_decoder.v文件。

1333
        编写manchester_decoder.v文件。
        解码器的in是曼彻斯特编码，编码器的out是曼彻斯特编码。
        曼彻斯特编码，我们称之为频带。
        编码器的输入，解码器的输出，是基带。
        有两个状态。

1334
        编写manchester_decoder.v文件。

1335
        编写manchester_decoder.v文件。
        检查语法。