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
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
|
/*
Copyright (c) 2011, 2012, 2013, 2014 The Regents of the University of
California (Regents). All Rights Reserved. Redistribution and use in
source and binary forms, with or without modification, are permitted
provided that the following conditions are met:
* Redistributions of source code must retain the above
copyright notice, this list of conditions and the following
two paragraphs of disclaimer.
* Redistributions in binary form must reproduce the above
copyright notice, this list of conditions and the following
two paragraphs of disclaimer in the documentation and/or other materials
provided with the distribution.
* Neither the name of the Regents nor the names of its contributors
may be used to endorse or promote products derived from this
software without specific prior written permission.
IN NO EVENT SHALL REGENTS BE LIABLE TO ANY PARTY FOR DIRECT, INDIRECT,
SPECIAL, INCIDENTAL, OR CONSEQUENTIAL DAMAGES, INCLUDING LOST PROFITS,
ARISING OUT OF THE USE OF THIS SOFTWARE AND ITS DOCUMENTATION, EVEN IF
REGENTS HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
REGENTS SPECIFICALLY DISCLAIMS ANY WARRANTIES, INCLUDING, BUT NOT
LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
A PARTICULAR PURPOSE. THE SOFTWARE AND ACCOMPANYING DOCUMENTATION, IF
ANY, PROVIDED HEREUNDER IS PROVIDED "AS IS". REGENTS HAS NO OBLIGATION
TO PROVIDE MAINTENANCE, SUPPORT, UPDATES, ENHANCEMENTS, OR
MODIFICATIONS.
*/
package Chisel
import Builder._
import Direction._
import ChiselError._
import collection.mutable.{ArrayBuffer, HashSet, HashMap, Stack, LinkedHashSet, Queue => ScalaQueue}
import scala.math.min
import java.io.File
import java.io.InputStream
import java.io.OutputStream
import java.io.PrintStream
trait FileSystemUtilities {
/** Ensures a directory *dir* exists on the filesystem. */
def ensureDir(dir: String): String = {
val d = dir + (if (dir == "" || dir(dir.length-1) == '/') "" else "/")
new File(d).mkdirs()
d
}
def createOutputFile(name: String): java.io.FileWriter = {
val baseDir = ensureDir(Driver.targetDir)
new java.io.FileWriter(baseDir + name)
}
}
class ChiselException(message: String, cause: Throwable) extends Exception(message, cause)
object throwException {
def apply(s: String, t: Throwable = null) = {
val xcpt = new ChiselException(s, t)
findFirstUserLine(xcpt.getStackTrace) foreach { u => xcpt.setStackTrace(Array(u)) }
throw xcpt
}
}
object chiselMain {
val wrapped = true
val unwrapped = false
def apply[T <: Module](args: Array[String], gen: () => T): (Circuit, T) =
Driver(args, gen, wrapped)
def apply[T <: Module](args: Array[String], gen: () => T, ftester: T => Tester[T]): (Circuit, T) =
Driver(args, gen, ftester, wrapped)
// Assumes gen needs to be wrapped in Module()
def run[T <: Module] (args: Array[String], gen: () => T): (Circuit, T) =
Driver(args, gen, unwrapped)
def run[T <: Module] (args: Array[String], gen: () => T, ftester: T => Tester[T]): (Circuit, T) =
Driver(args, gen, ftester, unwrapped)
}
//Is this antiquated?
object chiselMainTest {
def apply[T <: Module](args: Array[String], gen: () => T)(tester: T => Tester[T]): (Circuit, T) = {
chiselMain(args, gen, tester)
}
}
object Driver extends FileSystemUtilities{
def apply[T <: Module](args: Array[String], gen: () => T, wrapped:Boolean = true): (Circuit, T) = {
initChisel(args)
try {
if(wrapped) execute(gen) else executeUnwrapped(gen)
} finally {
ChiselError.report
if (ChiselError.hasErrors && !getLineNumbers) {
println("Re-running Chisel in debug mode to obtain erroneous line numbers...")
// apply(args :+ "--lineNumbers", gen, wrapped)
}
}
}
def apply[T <: Module](args: Array[String], gen: () => T,
ftester: T => Tester[T], wrapped:Boolean): (Circuit, T) = {
val (circuit, mod) = apply(args, gen, wrapped)
if (isTesting) test(mod, ftester)
(circuit, mod)
}
private def executeUnwrapped[T <: Module](gen: () => T): (Circuit, T) = {
if (!chiselConfigMode.isEmpty && !chiselConfigClassName.isEmpty) {
println("CHISEL PARAMS")
val name = appendString(chiselProjectName,chiselConfigClassName)
val config = try {
Class.forName(name).newInstance.asInstanceOf[ChiselConfig]
} catch {
case e: java.lang.ClassNotFoundException =>
throwException("Could not find the ChiselConfig subclass you asked for (\"" +
name + "\"), did you misspell it?", e)
}
val world = if(chiselConfigMode.get == "collect") {
new Collector(config.topDefinitions,config.knobValues)
} else { new Instance(config.topDefinitions,config.knobValues) }
val p = Parameters.root(world)
config.topConstraints.foreach(c => p.constrain(c))
val (circuit, mod) = execute(() => Module(gen())(p))
if(chiselConfigMode.get == "collect") {
val v = createOutputFile(chiselConfigClassName.get + ".knb")
v.write(world.getKnobs)
v.close
val w = createOutputFile(chiselConfigClassName.get + ".cst")
w.write(world.getConstraints)
w.close
}
(circuit, mod)
}
else {
execute(() => Module(gen()))
}
}
private def execute[T <: Module](gen: () => T): (Circuit, T) = {
val emitter = new Emitter
val (c, mod) = build{ gen() }
// setTopComponent(c)
if (!isTesting) {
val s = emitter.emit( c )
// println(c.components(0))
val filename = c.main + ".fir"
// println("FILENAME " + filename)
// println("S = " + s)
val out = createOutputFile(filename)
out.write(s)
/* Params - If dumping design, dump space to pDir*/
if (chiselConfigMode == None || chiselConfigMode.get == "instance") {
if(chiselConfigDump && !Dump.dump.isEmpty) {
val w = createOutputFile(appendString(Some(topComponent.name),chiselConfigClassName) + ".prm")
w.write(Dump.getDump); w.close
}
}
out.close()
}
(c, mod)
}
private def test[T <: Module](mod: T, ftester: T => Tester[T]): Unit = {
var res = false
var tester: Tester[T] = null
try {
tester = ftester(mod)
} finally {
if (tester != null && tester.process != null)
res = tester.finish()
}
println(if (res) "PASSED" else "*** FAILED ***")
if(!res) throwException("Module under test FAILED at least one test vector.")
}
def elapsedTime: Long = System.currentTimeMillis - startTime
def initChisel(args: Array[String]): Unit = {
ChiselError.clear()
warnInputs = false
warnOutputs = false
saveConnectionWarnings = false
saveComponentTrace = false
dontFindCombLoop = false
isGenHarness = false
isDebug = false
getLineNumbers = false
isCSE = false
isIoDebug = true
isVCD = false
isVCDMem = false
isReportDims = false
targetDir = "."
components.clear()
sortedComps.clear()
compStack.clear()
stackIndent = 0
printStackStruct.clear()
// blackboxes.clear()
chiselOneHotMap.clear()
chiselOneHotBitMap.clear()
isCompiling = false
isCheckingPorts = false
isTesting = false
isDebugMem = false
isSupportW0W = false
partitionIslands = false
lineLimitFunctions = 0
minimumLinesPerFile = 0
shadowRegisterInObject = false
allocateOnlyNeededShadowRegisters = false
compileInitializationUnoptimized = false
useSimpleQueue = false
parallelMakeJobs = 0
isVCDinline = false
isSupportW0W = false
hasMem = false
hasSRAM = false
sramMaxSize = 0
topComponent = null
// clocks.clear()
// implicitReset.isIo = true
// implicitReset.setName("reset")
// implicitClock = new Clock()
// implicitClock.setName("clk")
isInGetWidth = false
startTime = System.currentTimeMillis
modStackPushed = false
readArgs(args)
}
private def readArgs(args: Array[String]): Unit = {
var i = 0
var backendName = "c" // Default backend is Cpp.
while (i < args.length) {
val arg = args(i)
arg match {
case "--Wall" => {
saveConnectionWarnings = true
saveComponentTrace = true
isCheckingPorts = true
}
case "--wi" => warnInputs = true
case "--wo" => warnOutputs = true
case "--wio" => {warnInputs = true; warnOutputs = true}
case "--Wconnection" => saveConnectionWarnings = true
case "--Wcomponent" => saveComponentTrace = true
case "--W0W" => isSupportW0W = true
case "--noW0W" => isSupportW0W = false
case "--noCombLoop" => dontFindCombLoop = true
case "--genHarness" => isGenHarness = true
case "--debug" => isDebug = true
case "--lineNumbers" => getLineNumbers = true
case "--cse" => isCSE = true
case "--ioDebug" => isIoDebug = true
case "--noIoDebug" => isIoDebug = false
case "--vcd" => isVCD = true
case "--vcdMem" => isVCDMem = true
case "--v" => backendName = "v"
// case "--moduleNamePrefix" => Backend.moduleNamePrefix = args(i + 1); i += 1
case "--inlineMem" => isInlineMem = true
case "--noInlineMem" => isInlineMem = false
case "--assert" => isAssert = true
case "--noAssert" => isAssert = false
case "--debugMem" => isDebugMem = true
case "--partitionIslands" => partitionIslands = true
case "--lineLimitFunctions" => lineLimitFunctions = args(i + 1).toInt; i += 1
case "--minimumLinesPerFile" => minimumLinesPerFile = args(i + 1).toInt; i += 1
case "--shadowRegisterInObject" => shadowRegisterInObject = true
case "--allocateOnlyNeededShadowRegisters" => allocateOnlyNeededShadowRegisters = true
case "--compileInitializationUnoptimized" => compileInitializationUnoptimized = true
case "--useSimpleQueue" => useSimpleQueue = true
case "--parallelMakeJobs" => parallelMakeJobs = args(i + 1).toInt; i += 1
case "--isVCDinline" => isVCDinline = true
case "--backend" => backendName = args(i + 1); i += 1
case "--compile" => isCompiling = true
case "--test" => isTesting = true
case "--targetDir" => targetDir = args(i + 1); i += 1
case "--include" => includeArgs = args(i + 1).split(' ').toList; i += 1
case "--checkPorts" => isCheckingPorts = true
case "--reportDims" => isReportDims = true
//Jackhammer Flags
case "--configCollect" => chiselConfigMode = Some("collect"); chiselConfigClassName = Some(getArg(args(i+1),1)); chiselProjectName = Some(getArg(args(i+1),0)); i+=1; //dump constraints in dse dir
case "--configInstance" => chiselConfigMode = Some("instance"); chiselConfigClassName = Some(getArg(args(i+1),1)); chiselProjectName = Some(getArg(args(i+1),0)); i+=1; //use ChiselConfig to supply parameters
case "--configDump" => chiselConfigDump = true; //when using --configInstance, write Dump parameters to .prm file in targetDir
case "--dumpTestInput" => dumpTestInput = true
case "--testerSeed" => {
testerSeedValid = true
testerSeed = args(i+1).toLong
i += 1
}
case "--emitTempNodes" => {
isDebug = true
emitTempNodes = true
}
/*
// Dreamer configuration flags
case "--numRows" => {
if (backend.isInstanceOf[FloBackend]) {
backend.asInstanceOf[FloBackend].DreamerConfiguration.numRows = args(i+1).toInt
}
i += 1
}
case "--numCols" => {
if (backend.isInstanceOf[FloBackend]) {
backend.asInstanceOf[FloBackend].DreamerConfiguration.numCols = args(i+1).toInt
}
i += 1
}
*/
case any => ChiselError.warning("'" + arg + "' is an unknown argument.")
}
i += 1
}
// Check for bogus flags
if (!isVCD) {
isVCDinline = false
}
// Set the backend after we've interpreted all the arguments.
// (The backend may want to configure itself based on the arguments.)
backend = backendName match {
case "v" => new VerilogBackend
case "c" => new CppBackend
case "flo" => new FloBackend
case "dot" => new DotBackend
case "fpga" => new FPGABackend
case "sysc" => new SysCBackend
case _ => Class.forName(backendName).newInstance.asInstanceOf[Backend]
}
}
var warnInputs = false
var warnOutputs = false
var saveConnectionWarnings = false
var saveComponentTrace = false
var dontFindCombLoop = false
var isDebug = false
var getLineNumbers = false
var isCSE = false
var isIoDebug = true
var isVCD = false
var isVCDMem = false
var isInlineMem = true
var isGenHarness = false
var isReportDims = false
var includeArgs: List[String] = Nil
var targetDir: String = null
var isCompiling = false
var isCheckingPorts = false
var isTesting = false
var isAssert = true
var isDebugMem = false
var partitionIslands = false
var lineLimitFunctions = 0
var minimumLinesPerFile = 0
var shadowRegisterInObject = false
var allocateOnlyNeededShadowRegisters = false
var compileInitializationUnoptimized = false
var useSimpleQueue = false
var parallelMakeJobs = 0
var isVCDinline = false
var isSupportW0W = false
var hasMem = false
var hasSRAM = false
var sramMaxSize = 0
var backend: Backend = null
var topComponent: Module = null
val components = ArrayBuffer[Module]()
val sortedComps = ArrayBuffer[Module]()
// val blackboxes = ArrayBuffer[BlackBox]()
val chiselOneHotMap = HashMap[(UInt, Int), UInt]()
val chiselOneHotBitMap = HashMap[(Bits, Int), Bool]()
val compStack = Stack[Module]()
val parStack = new Stack[Parameters]
var stackIndent = 0
val printStackStruct = ArrayBuffer[(Int, Module)]()
// val clocks = ArrayBuffer[Clock]()
// val implicitReset = Bool(INPUT)
// var implicitClock: Clock = null
var isInGetWidth: Boolean = false
var modStackPushed: Boolean = false
var modAdded: Boolean = false
var startTime = 0L
/* ChiselConfig flags */
var chiselConfigClassName: Option[String] = None
var chiselProjectName: Option[String] = None
var chiselConfigMode: Option[String] = None
var chiselConfigDump: Boolean = false
def appendString(s1:Option[String],s2:Option[String]):String = {
if(s1.isEmpty && s2.isEmpty) "" else {
if(!s1.isEmpty) {
s1.get + (if(!s2.isEmpty) "." + s2.get else "")
} else {
if(!s2.isEmpty) s2.get else ""
}
}
}
def getArg(s:String,i:Int):String = s.split('.')(i)
// Setting this to TRUE will case the test harness to print its
// standard input stream to a file.
var dumpTestInput = false
// Setting this to TRUE will initialize the tester's RNG with the
// seed below.
var testerSeedValid = false
var testerSeed = System.currentTimeMillis()
// Setting this to TRUE will result in temporary values (ie, nodes
// named "T*") to be emited to the VCD file.
var emitTempNodes = false
}
|