lcytms
发表于 2017-9-10 21:42:17
1157
然后我们看看状态转移图。
lcytms
发表于 2017-9-10 21:43:15
1158
画状态转移图。
lcytms
发表于 2017-9-10 21:44:17
1159
两个clk2控制一个clk。
Clk为低电平。
lcytms
发表于 2017-9-10 21:45:50
1200
这张图也可以化简。
解码器,我们要把它的代码做出来。
做出来以后,我们要做基于ABV的验证。
因为我们马上会做通信。
通信的整个过程,我们都要做基于断言的验证。
lcytms
发表于 2017-9-10 21:47:52
1201
解码的部分,代码以及ABV的验证,下午接着做。
做完以后,我们还得讨论一个完整的串行通信的模型。
上午先到这。
(午休)
lcytms
发表于 2017-9-10 21:48:51
1331
新建manchester_decoder.v文件。
将其设为顶层。
lcytms
发表于 2017-9-10 21:49:38
1332
编写manchester_decoder.v文件。
lcytms
发表于 2017-9-10 21:50:42
1333
编写manchester_decoder.v文件。
解码器的in是曼彻斯特编码,编码器的out是曼彻斯特编码。
曼彻斯特编码,我们称之为频带。
编码器的输入,解码器的输出,是基带。
有两个状态。
lcytms
发表于 2017-9-10 21:51:36
1334
编写manchester_decoder.v文件。
lcytms
发表于 2017-9-10 21:52:39
1335
编写manchester_decoder.v文件。
检查语法。