标签：set 时钟周期 for 格式 inline apt https 响应 rap
简单介绍Monitor的实现。
?
?
1. 基本介绍
用于监控各个channel上的消息是否正确。
2. TLMonitorArgs
Monitor的参数，包装一个边（TLEdge）：
?
?
3. TLMonitorBase
Monitor的基类：
?
?
a. io.in：用于接收输入数据，以待进行监控；
b. legalize：用于对输入的数据进行监控，以判断是否合法数据；
4. TLMonitor
输入监控模块，主要实现legalize方法：
?
?
1) legalizeFormat
对channel a/b/c/d/e的格式进行监视：
?
?
A. legalizeFormatA
?
?
a. 判断opcode是否正确；
b. 判断访问地址是否超出可视范围；
c. 判断各个消息内容是否正确；
B. legalizeFormatD
判断channel d上的消息内容格式是否正确。
C. legalizeFormatB
判断channel b上的消息内容格式是否正确。
D. legalizeFormatC
判断channel c上的消息内容格式是否正确。
E. legalizeFormatE
判断channel e上的消息内容格式是否正确。
2) legalizeMultibeat
监控channel a/b/c/d上的burst请求是否正确，channel e不存在burst：
?
?
以legalizeMultibeatA为例：
?
?
监控多个beat之间opcode/param/size/source/address域不变。
3) legalizeUnique
用于监控source/sink是否唯一，即同一个source不能同时存在两个请求未被回复。（这个在规范上有要求吗？存疑）
?
?
A. legalizeADSource
判断AD中的source是否唯一。
a. 同一个source不能同时存在两个未被回复的请求：
?
?
b. 不能回复未发起请求的source：
?
?
c. 若manager的最小延迟大于一个时钟周期，那么a_set和d_clr在不为零的情况下不能相同：
?
?
d. 请求间隔和响应时间都不能超过limit个时钟周期，否则会被看门狗视为状态紊乱：
?
?
相当于a.fire()和d.fire()时喂狗。
B. legalizeDESink
用于判断Grant/GrantAck中的sink域是否唯一：
?
?
a. 同一个sink不能同时存在两个未被回复的Grant请求；
b. 不能回复未发起Grant请求的sink；
5. 使用
Monitor在TLImp的monitor方法中使用：
?
?
这里monitor.io.in接收TLBundleSnoop的输出作为输入，传入的source和sink参数都是bundle参数：
?
?
?
?
这个没有问题：
a. monitor.io.in只是从source和sink中接收信号；
b. 而TLBundleSnoop并不会把source和sink连接到一起：
?
?
Rocket - tilelink - Monitor
标签：set 时钟周期 for 格式 inline apt https 响应 rap
原文地址：https://www.cnblogs.com/wjcdx/p/11440306.html
