1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
|
// See LICENSE for license details.
package chisel3.core
import scala.language.experimental.macros
import chisel3.internal._
import chisel3.internal.Builder.pushCommand
import chisel3.internal.firrtl._
import chisel3.internal.sourceinfo.{SourceInfo}
/** Utility for constructing hardware registers
*
* The width of a `Reg` (inferred or not) is copied from the type template
* {{{
* val r0 = Reg(UInt()) // width is inferred
* val r1 = Reg(UInt(8.W)) // width is set to 8
*
* val r2 = Reg(Vec(4, UInt())) // width is inferred
* val r3 = Reg(Vec(4, UInt(8.W))) // width of each element is set to 8
*
* class MyBundle {
* val unknown = UInt()
* val known = UInt(8.W)
* }
* val r4 = Reg(new MyBundle)
* // Width of r4.unknown is inferred
* // Width of r4.known is set to 8
* }}}
*
*/
object Reg {
/** @usecase def apply[T <: Data](t: T): T
* Construct a [[Reg]] from a type template with no initialization value (reset is ignored).
* Value will not change unless the [[Reg]] is given a connection.
* @param t The template from which to construct this wire
*/
def apply[T <: Data](t: T)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): T = {
if (compileOptions.declaredTypeMustBeUnbound) {
requireIsChiselType(t, "reg type")
}
val reg = t.cloneTypeFull
val clock = Node(Builder.forcedClock)
reg.bind(RegBinding(Builder.forcedUserModule))
pushCommand(DefReg(sourceInfo, reg, clock))
reg
}
}
object RegNext {
/** Returns a register with the specified next and no reset initialization.
*
* Essentially a 1-cycle delayed version of the input signal.
*/
def apply[T <: Data](next: T)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): T = {
val model = (next match {
case next: Bits => next.cloneTypeWidth(Width())
case next => next.cloneTypeFull
}).asInstanceOf[T]
val reg = Reg(model)
requireIsHardware(next, "reg next")
reg := next
reg
}
/** Returns a register with the specified next and reset initialization.
*
* Essentially a 1-cycle delayed version of the input signal.
*/
def apply[T <: Data](next: T, init: T)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): T = {
val model = (next match {
case next: Bits => next.cloneTypeWidth(Width())
case next => next.cloneTypeFull
}).asInstanceOf[T]
val reg = RegInit(model, init) // TODO: this makes NO sense
requireIsHardware(next, "reg next")
reg := next
reg
}
}
/** Utility for constructing hardware registers with an initialization value.
*
* The register is set to the initialization value when the current implicit `reset` is high
*
* The two forms of `RegInit` differ in how the type and width of the resulting [[Reg]] are
* specified.
*
* ==Single Argument==
* The single argument form uses the argument to specify both the type and reset value. For
* non-literal [[Bits]], the width of the [[Reg]] will be inferred. For literal [[Bits]] and all
* non-Bits arguments, the type will be copied from the argument. See the following examples for
* more details:
*
* 1. Literal [[Bits]] initializer: width will be set to match
* {{{
* val r1 = RegInit(1.U) // width will be inferred to be 1
* val r2 = RegInit(1.U(8.W)) // width is set to 8
* }}}
*
* 2. Non-Literal [[Element]] initializer - width will be inferred
* {{{
* val x = Wire(UInt())
* val y = Wire(UInt(8.W))
* val r1 = RegInit(x) // width will be inferred
* val r2 = RegInit(y) // width will be inferred
* }}}
*
* 3. [[Aggregate]] initializer - width will be set to match the aggregate
*
* {{{
* class MyBundle {
* val unknown = UInt()
* val known = UInt(8.W)
* }
* val w1 = Reg(new MyBundle)
* val w2 = RegInit(w1)
* // Width of w2.unknown is inferred
* // Width of w2.known is set to 8
* }}}
*
* ==Double Argument==
* The double argument form allows the type of the [[Reg]] and the default connection to be
* specified independently.
*
* The width inference semantics for `RegInit` with two arguments match those of [[Reg]]. The
* first argument to `RegInit` is the type template which defines the width of the `Reg` in
* exactly the same way as the only argument to [[Wire]].
*
* More explicitly, you can reason about `RegInit` with multiple arguments as if it were defined
* as:
* {{{
* def RegInit[T <: Data](t: T, init: T): T = {
* val x = Reg(t)
* x := init
* x
* }
* }}}
*/
object RegInit {
/** @usecase def apply[T <: Data](t: T, init: T): T
* Construct a [[Reg]] from a type template initialized to the specified value on reset
* @param t The type template used to construct this [[Reg]]
* @param init The value the [[Reg]] is initialized to on reset
*/
def apply[T <: Data](t: T, init: T)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): T = {
if (compileOptions.declaredTypeMustBeUnbound) {
requireIsChiselType(t, "reg type")
}
val reg = t.cloneTypeFull
val clock = Builder.forcedClock.ref
val reset = Builder.forcedReset.ref
reg.bind(RegBinding(Builder.forcedUserModule))
requireIsHardware(init, "reg initializer")
pushCommand(DefRegInit(sourceInfo, reg, clock, reset, init.ref))
reg
}
/** @usecase def apply[T <: Data](init: T): T
* Construct a [[Reg]] initialized on reset to the specified value.
* @param init Initial value that serves as a type template and reset value
*/
def apply[T <: Data](init: T)(implicit sourceInfo: SourceInfo, compileOptions: CompileOptions): T = {
val model = (init match {
// If init is a literal without forced width OR any non-literal, let width be inferred
case init: Bits if !init.litIsForcedWidth.getOrElse(false) => init.cloneTypeWidth(Width())
case init => init.cloneTypeFull
}).asInstanceOf[T]
RegInit(model, init)
}
}
|
