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文件。
检查语法。
