make a start on a branch simulator
[soc.git] / src / experiment / score6600.py
1 from nmigen.compat.sim import run_simulation
2 from nmigen.cli import verilog, rtlil
3 from nmigen import Module, Const, Signal, Array, Cat, Elaboratable
4
5 from regfile.regfile import RegFileArray, treereduce
6 from scoreboard.fn_unit import IntFnUnit, FPFnUnit, LDFnUnit, STFnUnit
7 from scoreboard.fu_fu_matrix import FUFUDepMatrix
8 from scoreboard.fu_reg_matrix import FURegDepMatrix
9 from scoreboard.global_pending import GlobalPending
10 from scoreboard.group_picker import GroupPicker
11 from scoreboard.issue_unit import IntFPIssueUnit, RegDecode
12 from scoreboard.shadow import ShadowMatrix, WaWGrid
13
14 from compalu import ComputationUnitNoDelay
15
16 from alu_hier import ALU
17 from nmutil.latch import SRLatch
18
19 from random import randint
20
21 class CompUnits(Elaboratable):
22
23 def __init__(self, rwid, n_units):
24 """ Inputs:
25
26 * :rwid: bit width of register file(s) - both FP and INT
27 * :n_units: number of ALUs
28 """
29 self.n_units = n_units
30 self.rwid = rwid
31
32 self.issue_i = Signal(n_units, reset_less=True)
33 self.go_rd_i = Signal(n_units, reset_less=True)
34 self.go_wr_i = Signal(n_units, reset_less=True)
35 self.shadown_i = Signal(n_units, reset_less=True)
36 self.go_die_i = Signal(n_units, reset_less=True)
37 self.busy_o = Signal(n_units, reset_less=True)
38 self.rd_rel_o = Signal(n_units, reset_less=True)
39 self.req_rel_o = Signal(n_units, reset_less=True)
40
41 self.dest_o = Signal(rwid, reset_less=True)
42 self.src1_data_i = Signal(rwid, reset_less=True)
43 self.src2_data_i = Signal(rwid, reset_less=True)
44
45 def elaborate(self, platform):
46 m = Module()
47
48 # Int ALUs
49 add = ALU(self.rwid)
50 sub = ALU(self.rwid)
51 mul = ALU(self.rwid)
52 shf = ALU(self.rwid)
53 m.submodules.comp1 = comp1 = ComputationUnitNoDelay(self.rwid, 2, add)
54 m.submodules.comp2 = comp2 = ComputationUnitNoDelay(self.rwid, 2, sub)
55 m.submodules.comp3 = comp3 = ComputationUnitNoDelay(self.rwid, 2, mul)
56 m.submodules.comp4 = comp4 = ComputationUnitNoDelay(self.rwid, 2, shf)
57 int_alus = [comp1, comp2, comp3, comp4]
58
59 m.d.comb += comp1.oper_i.eq(Const(0, 2)) # op=add
60 m.d.comb += comp2.oper_i.eq(Const(1, 2)) # op=sub
61 m.d.comb += comp3.oper_i.eq(Const(2, 2)) # op=mul
62 m.d.comb += comp4.oper_i.eq(Const(3, 2)) # op=shf
63
64 go_rd_l = []
65 go_wr_l = []
66 issue_l = []
67 busy_l = []
68 req_rel_l = []
69 rd_rel_l = []
70 shadow_l = []
71 godie_l = []
72 for alu in int_alus:
73 req_rel_l.append(alu.req_rel_o)
74 rd_rel_l.append(alu.rd_rel_o)
75 shadow_l.append(alu.shadown_i)
76 godie_l.append(alu.go_die_i)
77 go_wr_l.append(alu.go_wr_i)
78 go_rd_l.append(alu.go_rd_i)
79 issue_l.append(alu.issue_i)
80 busy_l.append(alu.busy_o)
81 m.d.comb += self.rd_rel_o.eq(Cat(*rd_rel_l))
82 m.d.comb += self.req_rel_o.eq(Cat(*req_rel_l))
83 m.d.comb += self.busy_o.eq(Cat(*busy_l))
84 m.d.comb += Cat(*godie_l).eq(self.go_die_i)
85 m.d.comb += Cat(*shadow_l).eq(self.shadown_i)
86 m.d.comb += Cat(*go_wr_l).eq(self.go_wr_i)
87 m.d.comb += Cat(*go_rd_l).eq(self.go_rd_i)
88 m.d.comb += Cat(*issue_l).eq(self.issue_i)
89
90 # connect data register input/output
91
92 # merge (OR) all integer FU / ALU outputs to a single value
93 # bit of a hack: treereduce needs a list with an item named "dest_o"
94 dest_o = treereduce(int_alus)
95 m.d.comb += self.dest_o.eq(dest_o)
96
97 for i, alu in enumerate(int_alus):
98 m.d.comb += alu.src1_i.eq(self.src1_data_i)
99 m.d.comb += alu.src2_i.eq(self.src2_data_i)
100
101 return m
102
103
104 class FunctionUnits(Elaboratable):
105
106 def __init__(self, n_regs, n_int_alus):
107 self.n_regs = n_regs
108 self.n_int_alus = n_int_alus
109
110 self.dest_i = Signal(n_regs, reset_less=True) # Dest R# in
111 self.src1_i = Signal(n_regs, reset_less=True) # oper1 R# in
112 self.src2_i = Signal(n_regs, reset_less=True) # oper2 R# in
113
114 self.g_int_rd_pend_o = Signal(n_regs, reset_less=True)
115 self.g_int_wr_pend_o = Signal(n_regs, reset_less=True)
116
117 self.dest_rsel_o = Signal(n_regs, reset_less=True) # dest reg (bot)
118 self.src1_rsel_o = Signal(n_regs, reset_less=True) # src1 reg (bot)
119 self.src2_rsel_o = Signal(n_regs, reset_less=True) # src2 reg (bot)
120
121 self.req_rel_i = Signal(n_int_alus, reset_less = True)
122 self.readable_o = Signal(n_int_alus, reset_less=True)
123 self.writable_o = Signal(n_int_alus, reset_less=True)
124
125 self.go_rd_i = Signal(n_int_alus, reset_less=True)
126 self.go_wr_i = Signal(n_int_alus, reset_less=True)
127 self.req_rel_o = Signal(n_int_alus, reset_less=True)
128 self.fn_issue_i = Signal(n_int_alus, reset_less=True)
129
130 # Note: FURegs wr_pend_o is also outputted from here, for use in WaWGrid
131
132 def elaborate(self, platform):
133 m = Module()
134
135 n_int_fus = self.n_int_alus
136
137 # Integer FU-FU Dep Matrix
138 intfudeps = FUFUDepMatrix(n_int_fus, n_int_fus)
139 m.submodules.intfudeps = intfudeps
140 # Integer FU-Reg Dep Matrix
141 intregdeps = FURegDepMatrix(n_int_fus, self.n_regs)
142 m.submodules.intregdeps = intregdeps
143
144 m.d.comb += self.g_int_rd_pend_o.eq(intregdeps.rd_rsel_o)
145 m.d.comb += self.g_int_wr_pend_o.eq(intregdeps.wr_rsel_o)
146
147 m.d.comb += intregdeps.rd_pend_i.eq(intregdeps.rd_rsel_o)
148 m.d.comb += intregdeps.wr_pend_i.eq(intregdeps.wr_rsel_o)
149
150 m.d.comb += intfudeps.rd_pend_i.eq(intregdeps.rd_pend_o)
151 m.d.comb += intfudeps.wr_pend_i.eq(intregdeps.wr_pend_o)
152 self.wr_pend_o = intregdeps.wr_pend_o # also output for use in WaWGrid
153
154 m.d.comb += intfudeps.issue_i.eq(self.fn_issue_i)
155 m.d.comb += intfudeps.go_rd_i.eq(self.go_rd_i)
156 m.d.comb += intfudeps.go_wr_i.eq(self.go_wr_i)
157 m.d.comb += self.readable_o.eq(intfudeps.readable_o)
158 m.d.comb += self.writable_o.eq(intfudeps.writable_o)
159
160 # Connect function issue / arrays, and dest/src1/src2
161 m.d.comb += intregdeps.dest_i.eq(self.dest_i)
162 m.d.comb += intregdeps.src1_i.eq(self.src1_i)
163 m.d.comb += intregdeps.src2_i.eq(self.src2_i)
164
165 m.d.comb += intregdeps.go_rd_i.eq(self.go_rd_i)
166 m.d.comb += intregdeps.go_wr_i.eq(self.go_wr_i)
167 m.d.comb += intregdeps.issue_i.eq(self.fn_issue_i)
168
169 m.d.comb += self.dest_rsel_o.eq(intregdeps.dest_rsel_o)
170 m.d.comb += self.src1_rsel_o.eq(intregdeps.src1_rsel_o)
171 m.d.comb += self.src2_rsel_o.eq(intregdeps.src2_rsel_o)
172
173 return m
174
175
176 class Scoreboard(Elaboratable):
177 def __init__(self, rwid, n_regs):
178 """ Inputs:
179
180 * :rwid: bit width of register file(s) - both FP and INT
181 * :n_regs: depth of register file(s) - number of FP and INT regs
182 """
183 self.rwid = rwid
184 self.n_regs = n_regs
185
186 # Register Files
187 self.intregs = RegFileArray(rwid, n_regs)
188 self.fpregs = RegFileArray(rwid, n_regs)
189
190 # inputs
191 self.int_store_i = Signal(reset_less=True) # instruction is a store
192 self.int_dest_i = Signal(max=n_regs, reset_less=True) # Dest R# in
193 self.int_src1_i = Signal(max=n_regs, reset_less=True) # oper1 R# in
194 self.int_src2_i = Signal(max=n_regs, reset_less=True) # oper2 R# in
195 self.reg_enable_i = Signal(reset_less=True) # enable reg decode
196
197 self.issue_o = Signal(reset_less=True) # instruction was accepted
198 self.busy_o = Signal(reset_less=True) # at least one CU is busy
199
200 def elaborate(self, platform):
201 m = Module()
202
203 m.submodules.intregs = self.intregs
204 m.submodules.fpregs = self.fpregs
205
206 # register ports
207 int_dest = self.intregs.write_port("dest")
208 int_src1 = self.intregs.read_port("src1")
209 int_src2 = self.intregs.read_port("src2")
210
211 fp_dest = self.fpregs.write_port("dest")
212 fp_src1 = self.fpregs.read_port("src1")
213 fp_src2 = self.fpregs.read_port("src2")
214
215 # Int ALUs and Comp Units
216 n_int_alus = 4
217 m.submodules.cu = cu = CompUnits(self.rwid, n_int_alus)
218 m.d.comb += cu.go_die_i.eq(0)
219
220 # Int FUs
221 m.submodules.intfus = intfus = FunctionUnits(self.n_regs, n_int_alus)
222
223 # Count of number of FUs
224 n_int_fus = n_int_alus
225 n_fp_fus = 0 # for now
226
227 # Integer Priority Picker 1: Adder + Subtractor
228 intpick1 = GroupPicker(n_int_fus) # picks between add, sub, mul and shf
229 m.submodules.intpick1 = intpick1
230
231 # INT/FP Issue Unit
232 regdecode = RegDecode(self.n_regs)
233 m.submodules.regdecode = regdecode
234 issueunit = IntFPIssueUnit(self.n_regs, n_int_fus, n_fp_fus)
235 m.submodules.issueunit = issueunit
236
237 # Shadow Matrix. currently n_int_fus shadows, to be used for
238 # write-after-write hazards
239 m.submodules.shadows = shadows = ShadowMatrix(n_int_fus, n_int_fus)
240 # combined go_rd/wr + go_die (go_die used to reset latches)
241 go_rd_rst = Signal(n_int_fus, reset_less=True)
242 go_wr_rst = Signal(n_int_fus, reset_less=True)
243 # record previous instruction to cast shadow on current instruction
244 fn_issue_prev = Signal(n_int_fus)
245 prev_shadow = Signal(n_int_fus)
246
247 #---------
248 # ok start wiring things together...
249 # "now hear de word of de looord... dem bones dem bones dem dryy bones"
250 # https://www.youtube.com/watch?v=pYb8Wm6-QfA
251 #---------
252
253 #---------
254 # Issue Unit is where it starts. set up some in/outs for this module
255 #---------
256 m.d.comb += [issueunit.i.store_i.eq(self.int_store_i),
257 regdecode.dest_i.eq(self.int_dest_i),
258 regdecode.src1_i.eq(self.int_src1_i),
259 regdecode.src2_i.eq(self.int_src2_i),
260 regdecode.enable_i.eq(self.reg_enable_i),
261 issueunit.i.dest_i.eq(regdecode.dest_o),
262 self.issue_o.eq(issueunit.issue_o)
263 ]
264 self.int_insn_i = issueunit.i.insn_i # enabled by instruction decode
265
266 # connect global rd/wr pending vector (for WaW detection)
267 m.d.sync += issueunit.i.g_wr_pend_i.eq(intfus.g_int_wr_pend_o)
268 # TODO: issueunit.f (FP)
269
270 # and int function issue / busy arrays, and dest/src1/src2
271 m.d.comb += intfus.dest_i.eq(regdecode.dest_o)
272 m.d.comb += intfus.src1_i.eq(regdecode.src1_o)
273 m.d.comb += intfus.src2_i.eq(regdecode.src2_o)
274
275 fn_issue_o = issueunit.i.fn_issue_o
276
277 m.d.comb += intfus.fn_issue_i.eq(fn_issue_o)
278 m.d.comb += issueunit.i.busy_i.eq(cu.busy_o)
279 m.d.comb += self.busy_o.eq(cu.busy_o.bool())
280
281 #---------
282 # connect fu-fu matrix
283 #---------
284
285 # Group Picker... done manually for now.
286 go_rd_o = intpick1.go_rd_o
287 go_wr_o = intpick1.go_wr_o
288 go_rd_i = intfus.go_rd_i
289 go_wr_i = intfus.go_wr_i
290 # NOTE: connect to the shadowed versions so that they can "die" (reset)
291 m.d.comb += go_rd_i[0:n_int_fus].eq(go_rd_rst[0:n_int_fus]) # rd
292 m.d.comb += go_wr_i[0:n_int_fus].eq(go_wr_rst[0:n_int_fus]) # wr
293
294 # Connect Picker
295 #---------
296 m.d.comb += intpick1.rd_rel_i[0:n_int_fus].eq(cu.rd_rel_o[0:n_int_fus])
297 m.d.comb += intpick1.req_rel_i[0:n_int_fus].eq(cu.req_rel_o[0:n_int_fus])
298 int_rd_o = intfus.readable_o
299 int_wr_o = intfus.writable_o
300 m.d.comb += intpick1.readable_i[0:n_int_fus].eq(int_rd_o[0:n_int_fus])
301 m.d.comb += intpick1.writable_i[0:n_int_fus].eq(int_wr_o[0:n_int_fus])
302
303 #---------
304 # Shadow Matrix
305 #---------
306
307 m.d.comb += shadows.issue_i.eq(fn_issue_o)
308 # these are explained in ShadowMatrix docstring, and are to be
309 # connected to the FUReg and FUFU Matrices, to get them to reset
310 # NOTE: do NOT connect these to the Computation Units. The CUs need to
311 # do something slightly different (due to the revolving-door SRLatches)
312 m.d.comb += go_rd_rst.eq(go_rd_o | shadows.go_die_o)
313 m.d.comb += go_wr_rst.eq(go_wr_o | shadows.go_die_o)
314
315 # connect shadows / go_dies to Computation Units
316 m.d.comb += cu.shadown_i[0:n_int_fus].eq(shadows.shadown_o[0:n_int_fus])
317 m.d.comb += cu.go_die_i[0:n_int_fus].eq(shadows.go_die_o[0:n_int_fus])
318
319 # ok connect first n_int_fu shadows to busy lines, to create an
320 # instruction-order linked-list-like arrangement, using a bit-matrix
321 # (instead of e.g. a ring buffer).
322 # XXX TODO
323
324 # when written, the shadow can be cancelled (and was good)
325 m.d.comb += shadows.s_good_i[0:n_int_fus].eq(go_wr_o[0:n_int_fus])
326
327 # work out the current-activated busy unit (by recording the old one)
328 with m.If(fn_issue_o): # only update prev bit if instruction issued
329 m.d.sync += fn_issue_prev.eq(fn_issue_o)
330
331 # *previous* instruction shadows *current* instruction, and, obviously,
332 # if the previous is completed (!busy) don't cast the shadow!
333 m.d.comb += prev_shadow.eq(~fn_issue_o & fn_issue_prev & cu.busy_o)
334 for i in range(n_int_fus):
335 m.d.comb += shadows.shadow_i[i].eq(prev_shadow)
336
337 #---------
338 # Connect Register File(s)
339 #---------
340 print ("intregdeps wen len", len(intfus.dest_rsel_o))
341 m.d.comb += int_dest.wen.eq(intfus.dest_rsel_o)
342 m.d.comb += int_src1.ren.eq(intfus.src1_rsel_o)
343 m.d.comb += int_src2.ren.eq(intfus.src2_rsel_o)
344
345 # connect ALUs to regfule
346 m.d.comb += int_dest.data_i.eq(cu.dest_o)
347 m.d.comb += cu.src1_data_i.eq(int_src1.data_o)
348 m.d.comb += cu.src2_data_i.eq(int_src2.data_o)
349
350 # connect ALU Computation Units
351 m.d.comb += cu.go_rd_i[0:n_int_fus].eq(go_rd_o[0:n_int_fus])
352 m.d.comb += cu.go_wr_i[0:n_int_fus].eq(go_wr_o[0:n_int_fus])
353 m.d.comb += cu.issue_i[0:n_int_fus].eq(fn_issue_o[0:n_int_fus])
354
355 return m
356
357
358 def __iter__(self):
359 yield from self.intregs
360 yield from self.fpregs
361 yield self.int_store_i
362 yield self.int_dest_i
363 yield self.int_src1_i
364 yield self.int_src2_i
365 yield self.issue_o
366 #yield from self.int_src1
367 #yield from self.int_dest
368 #yield from self.int_src1
369 #yield from self.int_src2
370 #yield from self.fp_dest
371 #yield from self.fp_src1
372 #yield from self.fp_src2
373
374 def ports(self):
375 return list(self)
376
377 IADD = 0
378 ISUB = 1
379 IMUL = 2
380 ISHF = 3
381
382 class RegSim:
383 def __init__(self, rwidth, nregs):
384 self.rwidth = rwidth
385 self.regs = [0] * nregs
386
387 def op(self, op, src1, src2, dest):
388 maxbits = (1 << self.rwidth) - 1
389 src1 = self.regs[src1]
390 src2 = self.regs[src2]
391 if op == IADD:
392 val = src1 + src2
393 elif op == ISUB:
394 val = src1 - src2
395 elif op == IMUL:
396 val = src1 * src2
397 elif op == ISHF:
398 val = src1 >> (src2 & maxbits)
399 val &= maxbits
400 self.regs[dest] = val
401
402 def setval(self, dest, val):
403 self.regs[dest] = val
404
405 def dump(self, dut):
406 for i, val in enumerate(self.regs):
407 reg = yield dut.intregs.regs[i].reg
408 okstr = "OK" if reg == val else "!ok"
409 print("reg %d expected %x received %x %s" % (i, val, reg, okstr))
410
411 def check(self, dut):
412 for i, val in enumerate(self.regs):
413 reg = yield dut.intregs.regs[i].reg
414 if reg != val:
415 print("reg %d expected %x received %x\n" % (i, val, reg))
416 yield from self.dump(dut)
417 assert False
418
419 def int_instr(dut, op, src1, src2, dest):
420 for i in range(len(dut.int_insn_i)):
421 yield dut.int_insn_i[i].eq(0)
422 yield dut.int_dest_i.eq(dest)
423 yield dut.int_src1_i.eq(src1)
424 yield dut.int_src2_i.eq(src2)
425 yield dut.int_insn_i[op].eq(1)
426 yield dut.reg_enable_i.eq(1)
427
428
429 def print_reg(dut, rnums):
430 rs = []
431 for rnum in rnums:
432 reg = yield dut.intregs.regs[rnum].reg
433 rs.append("%x" % reg)
434 rnums = map(str, rnums)
435 print ("reg %s: %s" % (','.join(rnums), ','.join(rs)))
436
437
438 def create_random_ops(n_ops):
439 insts = []
440 for i in range(n_ops):
441 src1 = randint(1, dut.n_regs-1)
442 src2 = randint(1, dut.n_regs-1)
443 dest = randint(1, dut.n_regs-1)
444 op = randint(0, 3)
445
446 instrs.append((src1, src2, dest, op))
447 return insts
448
449
450 def scoreboard_branch_sim(dut, alusim):
451
452 yield dut.int_store_i.eq(1)
453
454 for i in range(2):
455
456 # set random values in the registers
457 for i in range(1, dut.n_regs):
458 val = 31+i*3
459 val = randint(0, (1<<alusim.rwidth)-1)
460 yield dut.intregs.regs[i].reg.eq(val)
461 alusim.setval(i, val)
462
463 # create some instructions: branches create a tree
464 insts = create_random_ops(5)
465
466 src1 = randint(1, dut.n_regs-1)
467 src2 = randint(1, dut.n_regs-1)
468 op = randint(4, 7)
469
470 branch_ok = create_random_ops(5)
471 branch_fail = create_random_ops(5)
472
473 insts.append((src1, src2, (branch_ok, branch_fail), op))
474
475 # issue instruction(s), wait for issue to be free before proceeding
476 for i, (src1, src2, dest, op) in enumerate(instrs):
477
478 print ("instr %d: (%d, %d, %d, %d)" % (i, src1, src2, dest, op))
479 alusim.op(op, src1, src2, dest)
480 yield from int_instr(dut, op, src1, src2, dest)
481 yield
482 while True:
483 issue_o = yield dut.issue_o
484 if issue_o:
485 for i in range(len(dut.int_insn_i)):
486 yield dut.int_insn_i[i].eq(0)
487 yield dut.reg_enable_i.eq(0)
488 break
489 #print ("busy",)
490 #yield from print_reg(dut, [1,2,3])
491 yield
492 #yield from print_reg(dut, [1,2,3])
493
494 # wait for all instructions to stop before checking
495 yield
496 while True:
497 busy_o = yield dut.busy_o
498 if not busy_o:
499 break
500 print ("busy",)
501 yield
502
503 # check status
504 yield from alusim.check(dut)
505 yield from alusim.dump(dut)
506
507
508 def scoreboard_sim(dut, alusim):
509
510 yield dut.int_store_i.eq(1)
511
512 for i in range(2):
513
514 # set random values in the registers
515 for i in range(1, dut.n_regs):
516 val = 31+i*3
517 val = randint(0, (1<<alusim.rwidth)-1)
518 yield dut.intregs.regs[i].reg.eq(val)
519 alusim.setval(i, val)
520
521 # create some instructions (some random, some regression tests)
522 instrs = []
523 if True:
524 for i in range(10):
525 src1 = randint(1, dut.n_regs-1)
526 src2 = randint(1, dut.n_regs-1)
527 while True:
528 dest = randint(1, dut.n_regs-1)
529 break
530 if dest not in [src1, src2]:
531 break
532 #src1 = 2
533 #src2 = 3
534 #dest = 2
535
536 op = randint(0, 3)
537 #op = i % 2
538 #op = 0
539
540 instrs.append((src1, src2, dest, op))
541
542 if False:
543 instrs.append((2, 3, 3, 0))
544 instrs.append((5, 3, 3, 1))
545
546 if False:
547 instrs.append((5, 6, 2, 1))
548 instrs.append((2, 2, 4, 0))
549 #instrs.append((2, 2, 3, 1))
550
551 if False:
552 instrs.append((2, 1, 2, 3))
553
554 if False:
555 instrs.append((2, 6, 2, 1))
556 instrs.append((2, 1, 2, 0))
557
558 if False:
559 instrs.append((1, 2, 7, 2))
560 instrs.append((7, 1, 5, 0))
561 instrs.append((4, 4, 1, 1))
562
563 if False:
564 instrs.append((5, 6, 2, 2))
565 instrs.append((1, 1, 4, 1))
566 instrs.append((6, 5, 3, 0))
567
568 if False:
569 # Write-after-Write Hazard
570 instrs.append( (3, 6, 7, 2) )
571 instrs.append( (4, 4, 7, 1) )
572
573 if False:
574 # self-read/write-after-write followed by Read-after-Write
575 instrs.append((1, 1, 1, 1))
576 instrs.append((1, 5, 3, 0))
577
578 if False:
579 # Read-after-Write followed by self-read-after-write
580 instrs.append((5, 6, 1, 2))
581 instrs.append((1, 1, 1, 1))
582
583 if False:
584 # self-read-write sandwich
585 instrs.append((5, 6, 1, 2))
586 instrs.append((1, 1, 1, 1))
587 instrs.append((1, 5, 3, 0))
588
589 if False:
590 # very weird failure
591 instrs.append( (5, 2, 5, 2) )
592 instrs.append( (2, 6, 3, 0) )
593 instrs.append( (4, 2, 2, 1) )
594
595 # issue instruction(s), wait for issue to be free before proceeding
596 for i, (src1, src2, dest, op) in enumerate(instrs):
597
598 print ("instr %d: (%d, %d, %d, %d)" % (i, src1, src2, dest, op))
599 alusim.op(op, src1, src2, dest)
600 yield from int_instr(dut, op, src1, src2, dest)
601 yield
602 while True:
603 issue_o = yield dut.issue_o
604 if issue_o:
605 for i in range(len(dut.int_insn_i)):
606 yield dut.int_insn_i[i].eq(0)
607 yield dut.reg_enable_i.eq(0)
608 break
609 #print ("busy",)
610 #yield from print_reg(dut, [1,2,3])
611 yield
612 #yield from print_reg(dut, [1,2,3])
613
614 # wait for all instructions to stop before checking
615 yield
616 while True:
617 busy_o = yield dut.busy_o
618 if not busy_o:
619 break
620 print ("busy",)
621 yield
622
623 # check status
624 yield from alusim.check(dut)
625 yield from alusim.dump(dut)
626
627
628 def explore_groups(dut):
629 from nmigen.hdl.ir import Fragment
630 from nmigen.hdl.xfrm import LHSGroupAnalyzer
631
632 fragment = dut.elaborate(platform=None)
633 fr = Fragment.get(fragment, platform=None)
634
635 groups = LHSGroupAnalyzer()(fragment._statements)
636
637 print (groups)
638
639
640 def test_scoreboard():
641 dut = Scoreboard(16, 8)
642 alusim = RegSim(16, 8)
643 vl = rtlil.convert(dut, ports=dut.ports())
644 with open("test_scoreboard6600.il", "w") as f:
645 f.write(vl)
646
647 run_simulation(dut, scoreboard_sim(dut, alusim),
648 vcd_name='test_scoreboard6600.vcd')
649
650
651 if __name__ == '__main__':
652 test_scoreboard()