https://mp.weixin.qq.com/s/6e-G5RSQc7Xje7mQj8-Lag

 
简单介绍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的更多相关文章

  1. Rocket - tilelink - RegisterRouter

    https://mp.weixin.qq.com/s/DaJhf7hEoWsEi_AjwSrOfA   简单介绍RegisterRouter的实现.   ​​   1. 基本介绍   实现挂在Tile ...

  2. Rocket - tilelink - Nodes

    https://mp.weixin.qq.com/s/KJ8pVH76rdxPOZ1vE3QlKA   简单介绍tilelink对Diplomacy Nodes的实现.   ​​   1. TLImp ...

  3. Rocket - tilelink - AsyncCrossing

    https://mp.weixin.qq.com/s/v8plWCBD8vZkxykjJe4TCg   介绍AsyncCrossing的实现,主要介绍如何实现diplomacy Node和LazyMo ...

  4. Rocket - tilelink - mask

    https://mp.weixin.qq.com/s/Gqv09RIgSSg5VKe-wb4aGg   讨论tilelink中使用MaskGen生成mask的用法.   1. tilelink中的ma ...

  5. Rocket - tilelink - Parameters

    https://mp.weixin.qq.com/s/1I6DcONr0Mg7xiX8F1C7SQ   简单介绍TileLink相关的参数实现(具体问题暂时不展开,后续用到时再做分析).   ​​   ...

  6. Rocket - tilelink - Bundles

    https://mp.weixin.qq.com/s/jrqBg2AIpQogBrpwNXjmwg   简单介绍Bundles文件中对TileLink规范(1.7.1)的定义. 参考链接:https: ...

  7. Rocket - tilelink - TLBusWrapper.to

    https://mp.weixin.qq.com/s/jSnhBzU5_ayQCg5fWAcx-g 简单介绍TLBusWrapper.to()的实现.主要介绍确定this{...}对应代码的过程. 1 ...

  8. Rocket - tilelink - BusWrapper

    https://mp.weixin.qq.com/s/03BvgTNQtD75Guco6gUGQg   简单介绍BusWrapper的实现.   1. HasTLBusParams   定义SoC的挂 ...

  9. Rocket - tilelink - Xbar

    https://mp.weixin.qq.com/s/UXFHYEQaYotWNEhshro68Q   简单介绍Xbar的实现.   ​​   1. 基本介绍   用于为Xbar的输入和输出连接生成内 ...

随机推荐

  1. Python学习之字符串中的下标和切片以及逆序

    python中的下标从0开始 从后往前取 注意:后面的2代表步长,先看2:-1取出来的数值 [起始位置:终止位置:步长] 逆序 但是发现如果[-1:0:-1]发现是取不到第一个元素的,那么怎么办? 此 ...

  2. Centos7 使用 Ansible 批量安装中文字体

    需求背景 Centos7 下 Java 生成图片水印时中文乱码,原因是没有安装中文字体. 安装中文字体 以下是基于 Centos7 手动安装中文字体的详细步骤.当测试或者生产环境服务器比较多的时候,建 ...

  3. 【Hadoop离线基础总结】HDFS入门介绍

    HDFS入门介绍 概述 HDFS全称为Hadoop Distribute File System,也就是Hadoop分布式文件系统,是Hadoop的核心组件之一. 分布式文件系统是横跨在多台计算机上的 ...

  4. css3的 calc属性无效问题解决

    css3的 calc:计算属性. 运算符两边需要加空格,才有效. 错误示例:.mystyle{width:calc(100%-25px)}这样是不生效的 运算符"+ - * /"左 ...

  5. shell 循环结构

    前言 循环结构在编程中十分常见,也是程序中是较为重要的一部分,在bash中有 for,until,while 这三种语句可以进行重复执行部分程序流程,下面会进一步讨论这三个指令的使用以及注意事项 fo ...

  6. Linux下ffmpeg交叉编译

    1 获取源代码 git clone -b "branch" https://git.ffmpeg.org/ffmpeg.git "branch" 可以是以下的m ...

  7. input在IOS中的聚焦问题

    关于input输入框在iPhone手机中的聚焦问题,开发中是会经常遇到的,在一般的浏览器中,我们一般是通过 document.getElementById('opop').focus(); 来获取焦点 ...

  8. 设计模式之GOF23原型模式02

    利用序列化和反序列化完成深复制 ByteArrayOutputStream bos=new ByteArrayOutputStream();  ObjectOutputStream oos=new O ...

  9. [zoj3593]扩展欧几里得+三分

    题意:给一个数A,有6种操作,+a,-a,+b,-b,+(a+b),-(a+b),每次选择一种,用最少的次数变成B. 思路:由于不同的操作先后顺序对最后的结果没有影响,并且加一个数与减一个相同的数不能 ...

  10. flink优化总结

    一.高性能Flink SQL优化技巧 1.Group Aggregate优化技巧 开启MicroBatch或MiniBatch(提升吞吐) MicroBatch和MiniBatch都是微批处理,只是微 ...