Chisel3 - util - Arbiter

https://mp.weixin.qq.com/s/7Y23gV6yPvtmvKHTo2I8mw

 
基于ReadyValid接口实现的多入单出仲裁器。
 
参考链接:
 
 
1. ArbiterIO
 
ArbiterIO包含如下接口:
a. in
 
Arbiter的n个输入接口,每个接口都是ReadyValid接口;Flipped把方向反过来,是因为仲裁器是输入接口的Consumer;
 
b. out
 
仲裁器的输出接口(ReadyValid接口),因为仲裁器是这个接口的Producer,所以不需要使用Flipped调转反向;
 
c. chosen
 
指示选择的输出是哪一个输入接口的;
 
 
2. ArbiterCtrl
 
 
这是一个优先级发生器。requests中的请求按顺序优先级由高到低。
 
可以看到后面的请求,收到前面请求状态的约束,如果前面的请求状态为真,则后面的请求会被忽略。
 
3. Arbiter
 
Hardware module that is used to sequence n producers into 1 consumer. Priority is given to lower producer.
 
 
a. 输入输出接口
 
 
b. 输出数据
 
io.chosen/io.out.bits是一对,作为一个整体研究。这里对io.chosen/io.out.bits进行了n次连接,后面的连接具有更高的优先级,第一次的连接(连接到第n-1个输入)为默认连接。
 
把这些连接摊平,即如下:
 
c. 输入使能
 
 
某个Producer要想通过ReadyValid接口输出,需要与其相连的Consumer把Ready置位。也就是说,仲裁器通过把某一个输入口的Ready为置位,来授权该输入口传输数据。
 
这里,先把io.in中的n个输入,一一与grant中的n个授权位组成n个元组。然后遍历这些元组,一一决定是否对每个输入的ready置位,而允许其传输数据。
 
io.out.ready的意思为仲裁器的Consumer已经准备好了接收,这是一个总的开关。
 
grant用来决定是否授权某个输入口传输。这只是个结果,生成grant的逻辑实现了仲裁的算法。
 
d. 授权(grant)
 
grant是使用ArbiterCtrl来实现,这个是基本的严格优先级(strict priority)逻辑,小号优先。
 
根据ArbiterCtrl的实现,in(0)对应的grant总是为true,所以他总是有授权的。
 
e. 开始输出
 
 
!grant.last是把前面n-1个输入口的valid相或,再或上第n个输入口的valid,就是把所有的输入口的valid相或。
 
所以,只要输入口有一个想要传输数据,则整个仲裁器即想要传输数据。
 
请注意这里是想要,只是说明自己可以传输,但是否开始传输也取决于仲裁器的下游Consumer是否准备好,而把io.out.ready置位。
 
f. n个输入的优先级
 
优先级体现在哪里?在多个输入口的Producer同时把Valid置位,表明有数据要传输给仲裁器时,哪一个输入口获得授权。
 
这个体现在grant的算法里,从ArbiterCtrl的实现逻辑看,in(0)总是有授权,而后面的输入口的授权,依次取决于前面所有输入口的valid是否置位,如果置位,则该输入口的授权即被取消,而导致这个输入口的ready不能被置位。亦即这个输入口的Producer不能输出。
 
posted @ 2018-12-16 17:45  wjcdx  阅读(928)  评论(0编辑  收藏  举报