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的结果，也不能是比特截取的结果。