Chisel3 - bind - Op, ReadOnly, 左值

Posted wjcdx

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了Chisel3 - bind - Op, ReadOnly, 左值相关的知识,希望对你有一定的参考价值。

 
两个数据变量进行某个操作(op),产生一个输出,这个输出存在一个匿名变量中。这个匿名变量就是以OpBinding的形式绑定到hardware graph中的。
 
0. 这里先简单对 "=" 和 ":="做一个讨论。
 
假设 a & b 的结果输出到一个匿名变量,记为anonymousVariable。
 
a & b的用法有两种:
 
1) c := a & b
 
":="的意思为连接。变量c作为下游,连接到anonymousVariable,接收其值。即anonymousVariable的值的变化会传播到下游c中。
 
2) c = a & b
 
"="的意思是赋予。之所以不说赋值,是因为更多情况下赋予的不是值,而是引用。
 
这里就是把anonymousVariable赋给c。就相当于给a & b的输出这个匿名变量取了一个名字,叫做c。
 
因为anonymousVariable是匿名的,所以这里使用c来简化引用也是有意义的。
 
总结下来:
1) 两者的区别在于,一个是匿名变量本身,一个是匿名变量的下一级连接。
2) ":="是连接到的意思(connect to);
3) "="也不是赋值,而是赋引用,取名字或者起别名的意思;
 
 
1. OpBinding
 
1) 两个操作数:a op b
 
以a & b为例,方法&定义在UInt中:
?技术分享图片?
这里a是this,b是that。&的结果为UInt(this.width max that.width),这是一个匿名变量。
 
binop定义在Bits中:
?技术分享图片?
其中a是this, b是other,dest为匿名变量。
 
这里要求this, other亦即a, b都是已经绑定了的(设想一下,输入输出端口已经绑定了,内部变量使用Wire/Reg绑定了)。dest是新创建的变量,还没有绑定。
 
DefPrim定义了一个Definition,无关绑定。其id为dest。
case class DefPrim[T <: Data](sourceInfo: SourceInfo, id: T, op: PrimOp, args: Arg*) extends Definition
 
pushOp定义于Builder中:
?技术分享图片?
这里cmd.id即为dest,调用其bind进行绑定。绑定类型为OpBinding。
 
 
2) 一个操作数:取反
 
与1)类似。
 
?技术分享图片?
 
?技术分享图片?
?技术分享图片?
 
3) 一个操作数:截取部分位
 
如ByteSelector中:
?技术分享图片?
io.in(7, 0)这个截取定义于Bits类中:
?技术分享图片?
其中,UInt(Width(w))为匿名变量。
?技术分享图片?
pushOp与之前定义一致。
 
可见位截取生成的临时变量也是使用OpBinding绑定到hardware graph中的。
 
 
2. ReadOnlyBinding
 
OpBinding为只读绑定,即ReadOnlyBinding。
 
只读绑定的变量,只能被读取,而不能被赋值。换一种说法:在硬件模型(hardware graph)中,只读绑定的变量,只能作为上游输出值(传播值),而不能作为下游,接收值(被传播)。
 
3. 连接的左值
 
只读绑定的变量只能作为右值,而不能作为左值。这里的左右是针对连接符号“:=”而言的。也是在连接方法中进行限制的。
 
连接符号定义于Data类中,
?技术分享图片?
单个连接和批量连接,这里不做进一步区分解析。
 
?技术分享图片?
 
这里如果this.topBinding为ReadOnlyBinding,则跑出异常。
 
所以this可以是WireBinding/RegBinding/PortBinding/MemPortBinding等的变量,而不能是OpBinding的变量。亦即,可以是模块的输出端口,内部定义的Wire()/Reg()临时变量,而不能是op的结果,也不能是比特截取的结果。
 
 

以上是关于Chisel3 - bind - Op, ReadOnly, 左值的主要内容,如果未能解决你的问题,请参考以下文章

Chisel3 - bind - Data

Chisel3 - bind - Wire, Reg, MemPort

Chisel3 - bind - PortBinding

来自 uid 10400 的 com.android.phone 不允许执行 OP_READ_PHONE_STATE

Chisel3 - util - Pipe

Chisel3 - util - RRArbiter