1 // note: got rid of funnel "fairness" code
2 package edu.berkeley.fleet.fpga;
3 import edu.berkeley.fleet.doc.*;
4 import edu.berkeley.fleet.api.*;
5 import edu.berkeley.fleet.ies44.*;
6 import edu.berkeley.fleet.*;
7 import java.lang.reflect.*;
8 import edu.berkeley.sbp.chr.*;
9 import edu.berkeley.sbp.misc.*;
10 import edu.berkeley.sbp.meta.*;
11 import edu.berkeley.sbp.util.*;
14 import static edu.berkeley.fleet.ies44.InstructionEncoder.*;
16 public class Generator {
18 public static final int WIDTH_PACKET = WIDTH_WORD + WIDTH_DEST_ADDR;
20 public static class SimpleValue implements Value {
21 private final String s;
22 public SimpleValue(String s) { this.s = s; }
23 public SimpleValue(String s, int high, int low) { this.s = s+"["+high+":"+low+"]"; }
24 public Value getBits(int high, int low) { return new SimpleValue(s, high, low); }
25 public Assignable getAssignableBits(int high, int low) { return new SimpleValue(s, high, low); }
26 public String getVerilogName() { return s; }
27 public String toString() { return s; }
30 public static interface Action {
31 public String getVerilogAction();
34 public static interface Trigger {
35 public String getVerilogTrigger();
38 public static interface Assignable {
39 public String getVerilogName();
40 public Assignable getAssignableBits(int high, int low);
43 public static interface Value extends Assignable {
44 public String getVerilogName();
45 public Value getBits(int high, int low);
48 public static class ConditionalAction implements Action {
49 private String condition;
50 private Action action;
51 public ConditionalAction(String condition, Action action) {
52 this.condition = condition;
55 public String toString() { return getVerilogAction(); }
56 public String getVerilogAction() { return "if ("+condition+") begin "+action.getVerilogAction()+" end"; }
59 public static class ConditionalTrigger implements Trigger {
60 private String condition;
61 private Trigger trigger;
62 public ConditionalTrigger(String condition, Trigger trigger) {
63 this.condition = condition;
64 this.trigger = trigger;
65 if (trigger instanceof Module.Port)
66 ((Module.Port)trigger).hasLatch = true;
68 public String getVerilogTrigger() {
69 return "&& (("+condition+") ? (1 " + trigger.getVerilogTrigger() + ") : 1)";
73 public static class SimpleAssignable implements Assignable {
74 private final String s;
75 public SimpleAssignable(String s) { this.s = s; }
76 public String getVerilogName() { return s; }
77 public Assignable getAssignableBits(int high, int low) { return new SimpleValue(s, high, low); }
80 public static class AssignAction implements Action {
83 public AssignAction(Assignable left, Value right) {
84 this.left = left.getVerilogName();
85 this.right = right.getVerilogName().toString();
87 public AssignAction(Assignable left, String right) {
88 this.left = left.getVerilogName();
91 public String getVerilogAction() { return left + "<=" + right + ";"; }
92 public String toString() { return getVerilogAction(); }
95 public static class SimpleAction implements Action {
96 private final String verilog;
97 public SimpleAction(String verilog) { this.verilog = verilog; }
98 public String getVerilogAction() { return verilog; }
99 public String toString() { return verilog; }
102 public static class Module {
104 private final String name;
105 public String getName() { return name; }
106 public Port getPort(String name) { return ports.get(name); }
108 private HashSet<InstantiatedModule> instantiatedModules = new HashSet<InstantiatedModule>();
109 private final ArrayList<Event> events = new ArrayList<Event>();
111 // FIXME: always-alphabetical convention?
112 private final HashMap<String,Port> ports = new HashMap<String,Port>();
113 private final ArrayList<String> portorder = new ArrayList<String>();
114 private final HashMap<String,StateWire> statewires = new HashMap<String,StateWire>();
115 private final HashMap<String,Latch> latches = new HashMap<String,Latch>();
117 private StringBuffer crap = new StringBuffer();
118 private StringBuffer precrap = new StringBuffer();
119 public void addCrap(String s) { crap.append(s); crap.append('\n'); }
120 public void addPreCrap(String s) { precrap.append(s); precrap.append('\n'); }
122 public Module(String name) {
126 public SourcePort createInputPort(String name, int width) {
127 if (ports.get(name)!=null) throw new RuntimeException();
128 return new SourcePort(name, width, true);
130 public SourcePort getInputPort(String name) {
131 SourcePort ret = (SourcePort)ports.get(name);
132 if (ret==null) throw new RuntimeException();
135 public SinkPort createOutputPort(String name, int width, String resetBehavior) {
136 if (ports.get(name)!=null) throw new RuntimeException();
137 return new SinkPort(name, width, true, resetBehavior);
139 public SinkPort getOutputPort(String name) {
140 SinkPort ret = (SinkPort)ports.get(name);
141 if (ret==null) throw new RuntimeException();
145 private class StateWire {
146 public final String name;
147 public final boolean initiallyFull;
148 public String getName() { return name; }
149 public Action isFull() { return new SimpleAction(name+"==1"); }
150 public Action isEmpty() { return new SimpleAction(name+"==0"); }
151 public Action doFill() { return new SimpleAction(name+"<=1;"); }
152 public Action doDrain() { return new SimpleAction(name+"<=0;"); }
153 public StateWire(String name) { this(name, false); }
154 public StateWire(String name, boolean initiallyFull) {
156 this.initiallyFull = initiallyFull;
157 statewires.put(name, this);
159 public void dump(PrintWriter pw) {
160 pw.println(" reg "+name+";");
161 pw.println(" initial "+name+"="+(initiallyFull?"1":"0")+";");
165 public class Latch implements Assignable, Value {
166 public final String name;
167 public final int width;
168 public Latch(String name, int width) {
171 latches.put(name, this);
173 public String getVerilogName() { return name; }
174 public Value getBits(int high, int low) { return new SimpleValue(getVerilogName(), high, low); }
175 public Assignable getAssignableBits(int high, int low) { return new SimpleValue(getVerilogName(), high, low); }
176 public void dump(PrintWriter pw) {
177 pw.println(" reg ["+(width-1)+":0] "+name+";");
178 //pw.println(" initial "+name+"="+(initiallyFull?"1":"0")+";");
182 private abstract class Port implements Action, Assignable, Trigger {
183 public final String name;
184 public String getName() { return name; }
185 public final int width;
186 public int getWidth() { return width; }
187 public boolean hasLatch = false;
188 public boolean external;
189 public Port(String name, int width, boolean external) {
192 this.external = external;
193 ports.put(name, this);
197 public String getVerilogName() { return name; }
198 public String getAck() { return name+"_a"; }
199 public String getReq() { return name+"_r"; }
200 public abstract String getInterface();
201 public abstract String getSimpleInterface();
202 public abstract String getDeclaration();
203 public abstract String getAssignments();
206 private class InstantiatedModule {
207 public final Module module;
209 private final HashMap<String,Port> ports = new HashMap<String,Port>();
210 public String getName() { return module.getName()+"_"+id; }
211 public InstantiatedModule(Module module) {
212 this.module = module;
213 this.id = Module.this.id++;
214 instantiatedModules.add(this);
216 public void dump(PrintWriter pw) {
217 pw.println(" " + module.getName() + " " + getName() + "(clk");
218 for(String s : module.portorder)
219 pw.println(", " + getPort(s).getSimpleInterface());
222 public Port getPort(String name) {
223 return (module.ports.get(name) instanceof SinkPort) ? getOutputPort(name) : getInputPort(name);
225 public SinkPort getInputPort(String name) {
226 int width = module.getPort(name).getWidth();
227 SinkPort port = (SinkPort)ports.get(name);
229 port = new SinkPort(getName()+"_"+name, width, false, "");
230 ports.put(name, port);
234 public SourcePort getOutputPort(String name) {
235 int width = module.getPort(name).getWidth();
236 SourcePort port = (SourcePort)ports.get(name);
238 port = new SourcePort(getName()+"_"+name, width, false);
239 ports.put(name, port);
245 private class SourcePort extends Port implements Value {
246 private SinkPort driven = null;
247 public SourcePort(String name, int width, boolean external) {
248 super(name, width, external); }
249 public Value getBits(int high, int low) { return new SimpleValue(getVerilogName(), high, low); }
250 public Assignable getAssignableBits(int high, int low) { return new SimpleValue(getVerilogName(), high, low); }
251 public String getVerilogTrigger() { return " && " + getReq() + " && !"+getAck(); }
252 public String getVerilogAction() { return getAck() + " <= 1;"; }
253 public String getInterface() { return getReq()+", "+getAck()+"_, "+name+""; }
254 public String getSimpleInterface() { return getReq()+", "+getAck()+", "+name+""; }
255 public String getDeclaration() {
256 StringBuffer sb = new StringBuffer();
258 sb.append("input " + name +"_r;\n");
259 sb.append("output " + name +"_a_;\n");
260 sb.append("input ["+(width-1)+":0]" + name +";\n");
262 sb.append("wire " + name +"_r;\n");
263 sb.append("wire ["+(width-1)+":0]" + name +";\n");
266 sb.append("wire " + name +"_a;\n");
268 sb.append("reg " + name +"_a;\n");
269 sb.append("initial " + name +"_a = 0;\n");
271 return sb.toString();
273 public String getAssignments() {
274 StringBuffer sb = new StringBuffer();
276 sb.append("assign " + name +"_a_ = " + name + "_a;\n");
277 if (driven != null) {
278 sb.append("assign " + driven.name +"_r = " + name + "_r;\n");
279 sb.append("assign " + name +"_a = " + driven.name + "_a;\n");
280 sb.append("assign " + driven.name +" = " + name + ";\n");
282 return sb.toString();
284 public void connect(SinkPort driven) {
285 this.driven = driven;
288 private class SinkPort extends Port {
289 public final String resetBehavior;
290 public Assignable getAssignableBits(int high, int low) { return new SimpleValue(getVerilogName(), high, low); }
291 public String getVerilogAction() { return getReq() + " <= 1;"; }
292 public String getVerilogTrigger() { return " && !" + getReq() + " && !"+getAck(); }
293 public SinkPort(String name, int width, boolean external, String resetBehavior) {
294 super(name, width, external); this.resetBehavior=resetBehavior; }
295 public String getResetBehavior() { return resetBehavior; }
296 public String getInterface() { return name+"_r_, "+name+"_a, "+name+"_"; }
297 public String getSimpleInterface() { return name+"_r, "+name+"_a, "+name; }
298 public String getDeclaration() {
299 StringBuffer sb = new StringBuffer();
301 sb.append("output " + name +"_r_;\n");
302 sb.append("input " + name +"_a;\n");
303 sb.append("output ["+(width-1)+":0]" + name +"_;\n");
305 sb.append("wire " + name +"_a;\n");
308 sb.append("wire " + name +"_r;\n");
309 sb.append("wire ["+(width-1)+":0]" + name +";\n");
311 sb.append("reg " + name +"_r;\n");
312 sb.append("initial " + name +"_r = 0;\n");
313 sb.append("reg ["+(width-1)+":0]" + name +";\n");
314 sb.append("initial " + name +" = 0;\n");
316 return sb.toString();
318 public String getAssignments() {
319 StringBuffer sb = new StringBuffer();
321 sb.append("assign " + name +"_r_ = " + name + "_r;\n");
322 sb.append("assign " + name +"_ = " + name + ";\n");
324 return sb.toString();
328 public void dump(PrintWriter pw) {
329 pw.println("`include \"macros.v\"");
330 pw.println("module "+name+"(clk");
331 for(String name : portorder) {
332 Port p = ports.get(name);
333 pw.println(" , " + p.getInterface());
337 pw.println(" input clk;");
338 for(String name : ports.keySet()) {
339 Port p = ports.get(name);
340 pw.println(" " + p.getDeclaration());
342 for(StateWire sw : statewires.values())
344 for(Latch l : latches.values())
346 for(String name : ports.keySet()) {
347 Port p = ports.get(name);
348 pw.println(" " + p.getAssignments());
350 for(InstantiatedModule m : instantiatedModules) {
354 pw.println("always @(posedge clk) begin");
355 for(Port p : ports.values()) {
356 if (p instanceof SourcePort) {
357 SourcePort ip = (SourcePort)p;
359 pw.println("if (!"+ip.getReq()+" && "+ip.getAck()+") "+ip.getAck()+"<=0;");
361 SinkPort op = (SinkPort)p;
363 pw.println("if ("+op.getReq()+" && "+op.getAck()+") begin "+
365 op.getResetBehavior()+" end");
369 for(Event a : events) a.dump(pw);
370 pw.println(" begin end");
374 pw.println("endmodule");
377 private class Event {
378 private Object[] triggers;
379 private Object[] actions;
380 public Event(Object[] triggers, Object action) { this(triggers, new Object[] { action }); }
381 public Event(Object[] triggers, Object[] actions) {
382 Module.this.events.add(this);
383 this.triggers = triggers;
384 this.actions = actions;
385 for(int i=0; i<triggers.length; i++)
386 if (triggers[i] instanceof Port)
387 ((Port)triggers[i]).hasLatch = true;
389 public void dump(PrintWriter pw) {
391 for(Object o : triggers) {
392 if (o instanceof Trigger) pw.print(((Trigger)o).getVerilogTrigger());
393 else pw.print(" && " + o);
395 pw.println(") begin ");
396 for(Object a : actions) pw.println(((Action)a).getVerilogAction());
397 pw.println("end else ");
402 public static void main(String[] s) throws Exception {
403 String prefix = s[0];
406 pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/bitfields.v")));
407 pw.println("`define DATAWIDTH "+WIDTH_WORD);
408 pw.println("`define CODEBAG_SIZE_BITS "+WIDTH_CODEBAG_SIZE);
409 pw.println("`define PUMP_ADDRESS_BITS "+WIDTH_PUMP_ADDR);
410 pw.println("`define DESTINATION_ADDRESS_BITS "+WIDTH_DEST_ADDR);
411 pw.println("`define COUNT_BITS "+WIDTH_COUNT);
412 pw.println("`define COUNT_WIDTH "+WIDTH_COUNT);
413 pw.println("`define PACKET_WIDTH (`DATAWIDTH + `DESTINATION_ADDRESS_BITS)");
414 pw.println("`define INSTRUCTION_WIDTH "+WIDTH_WORD);
415 pw.println("`define packet_data(p) p[(`DESTINATION_ADDRESS_BITS+`DATAWIDTH-1):(`DESTINATION_ADDRESS_BITS)]");
416 pw.println("`define packet_dest(p) p[(`DESTINATION_ADDRESS_BITS-1):0]");
420 mkfunnel("funnel", prefix);
421 mkhorn( "horn", prefix, WIDTH_PACKET-1, WIDTH_DEST_ADDR-1, 0, 0);
422 mkhorn( "ihorn", prefix, WIDTH_PACKET-1, WIDTH_DEST_ADDR-1, 0, 0);
424 Module fifostage = mkfifo("fifostage", 0, null, prefix);
425 Module fifo4 = mkfifo("fifo4", 4, fifostage, prefix);
426 Module fifoship = mkfifo("fifo", 4, fifo4, prefix);
427 mkBox("outbox", false, prefix, fifo4);
428 mkBox("inbox", true, prefix, fifo4);
430 Module fabric = new Module("fabric");
431 fabric.createInputPort("horn_in", WIDTH_PACKET);
432 fabric.createOutputPort("funnel_out", WIDTH_PACKET, "");
433 mkRoot("root", prefix, fabric);
436 private static Module mkRoot(String name, String prefix, Module fabricm) throws Exception {
437 Module root = new Module(name);
438 Module.SourcePort in = root.createInputPort("in", 8);
439 Module.SinkPort out = root.createOutputPort("out", 8, "");
440 Module.InstantiatedModule fabric = root.new InstantiatedModule(fabricm);
441 Module.SinkPort fabric_in = fabric.getInputPort("horn_in");
442 Module.SourcePort fabric_out = fabric.getOutputPort("funnel_out");
443 Module.Latch count = root.new Latch("count", 8);
444 Module.Latch count_out = root.new Latch("count_out", 8);
445 root.addPreCrap("initial count = 0;");
446 root.addPreCrap("initial count_out = 0;");
447 root.new Event(new Object[] { in, fabric_in },
448 new Object[] { new SimpleAction(fabric_in.getName()+" <= ("+fabric_in.getName()+" << 8) | in;"),
449 new SimpleAction("if (count >= 5) begin count <= 0; "+fabric_in.getName()+"_r <= 1; end else count <= count+1; "),
452 root.new Event(new Object[] { out, fabric_out },
453 new Object[] { new SimpleAction(out.getName()+" <= ("+fabric_out.getName()+">> (count_out*8));"),
454 new SimpleAction("if (count_out >= 5) begin count_out <= 0; "+fabric_out.getName()+"_a <= 1; end else count_out <= count_out+1; "),
456 PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/"+name+".v")));
462 private static Module mkfunnel(String name, String prefix) throws Exception {
463 Module funnel = new Module(name);
464 Module.SinkPort out = funnel.createOutputPort("out", WIDTH_PACKET, "");
465 Module.SourcePort in1 = funnel.createInputPort("in1", WIDTH_PACKET);
466 Module.SourcePort in2 = funnel.createInputPort("in2", WIDTH_PACKET);
467 funnel.new Event(new Object[] { in1, out },
468 new Action[] { in1, out,
469 new AssignAction(out, in1) });
470 funnel.new Event(new Object[] { in2, out },
471 new Action[] { in2, out,
472 new AssignAction(out, in2) });
473 PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/"+name+".v")));
479 private static Module mkfifo(String name, int len, Module instance, String prefix) throws Exception {
480 Module fifo = new Module(name);
481 Module.SourcePort in = fifo.createInputPort("in", WIDTH_PACKET);
482 Module.SinkPort out = fifo.createOutputPort("out", WIDTH_PACKET, "");
483 Module.InstantiatedModule[] stages = new Module.InstantiatedModule[len];
485 fifo.new Event(new Object[] { in, out },
486 new Action[] { in, out, new AssignAction(out, in) });
487 } else for(int i=0; i<=len; i++) {
488 if (i<len) stages[i] = fifo.new InstantiatedModule(instance);
489 Module.SourcePort driver = i==0 ? in : stages[i-1].getOutputPort("out");
490 Module.SinkPort driven = i==len ? out : stages[i].getInputPort("in");
491 driver.connect(driven);
493 PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/"+name+".v")));
499 public static void mkhorn(String name,
502 int top_of_addr_field,
503 int bot_of_addr_field,
504 int bot) throws Exception {
505 Module horn = new Module(name);
506 Module.SourcePort in = horn.createInputPort("in", WIDTH_PACKET);
507 Module.SinkPort out0 = horn.createOutputPort("out0", WIDTH_PACKET, "");
508 Module.SinkPort out1 = horn.createOutputPort("out1", WIDTH_PACKET, "");
509 String shifted_packet = "{ ";
510 if (top_of_addr_field+1 < top) shifted_packet += " in["+top+":"+(top_of_addr_field+1)+"], ";
511 shifted_packet += " (in["+(top_of_addr_field)+":"+bot_of_addr_field+"] >> 1) ";
512 if (bot_of_addr_field > 0) shifted_packet += ", in["+(bot_of_addr_field-1)+":0] ";
513 shifted_packet += " }";
514 // same behavior as FLEET -- wait for both
515 horn.new Event(new Object[] { in, out0, out1, "(in["+bot_of_addr_field+"]==0)" },
516 new Action[] { in, out0, new AssignAction(out0, shifted_packet) });
517 horn.new Event(new Object[] { in, out0, out1, "(in["+bot_of_addr_field+"]==1)" },
518 new Action[] { in, out1, new AssignAction(out1, shifted_packet) });
519 PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/"+name+".v")));
524 private static Module mkBox(String name, boolean inbox, String prefix, Module fifo) throws Exception {
525 Module box = new Module(name);
526 Module.SourcePort instr = box.createInputPort("instr", WIDTH_WORD);
527 Module.SourcePort fabric_in = box.createInputPort("fabric_in", WIDTH_PACKET);
528 Module.SinkPort fabric_out = box.createOutputPort("fabric_out", WIDTH_PACKET, "");
529 Module.InstantiatedModule dfifo = box.new InstantiatedModule(fifo);
530 fabric_in.connect(dfifo.getInputPort("in"));
532 Module.SourcePort dfifo_out = dfifo.getOutputPort("out");
533 Module.SourcePort ship_out = null;
535 ship_out = box.createInputPort("ship", WIDTH_WORD);
536 ship_out.hasLatch = true;
539 Module.SinkPort ship_in = null;
541 ship_in = box.createOutputPort("ship", WIDTH_PACKET, "");
542 ship_in.hasLatch = true;
545 Module.Latch ondeck = box.new Latch("ondeck", WIDTH_WORD);
546 Module.Latch repcount = box.new Latch("repcount", WIDTH_COUNT);
547 Module.StateWire ondeckFull = box.new StateWire("ondeck_full");
548 Module.StateWire newMayProceed = box.new StateWire("newmayproceed", true);
549 Module.StateWire doRepeat = box.new StateWire("dorepeat", false);
550 Module.StateWire doRepeatKill = box.new StateWire("dorepeatkill", false);
551 Module.StateWire doKill = box.new StateWire("dokill", false);
552 Module.StateWire isClogged = box.new StateWire("clogged", false);
554 Module.SinkPort token_out = fabric_out;
555 Module.SourcePort token_in = dfifo_out;
556 Module.SinkPort data_out = inbox ? ship_in : fabric_out;
557 Module.SourcePort data_in = inbox ? dfifo_out : ship_out;
559 Module.InstantiatedModule ififo = box.new InstantiatedModule(fifo);
560 Module.SinkPort ififo_in = ififo.getInputPort("in");
561 Module.SourcePort ififo_out = ififo.getOutputPort("out");
563 Value instruction_count_ondeck = ondeck .getBits(OFFSET_COUNT+WIDTH_COUNT-1, OFFSET_COUNT);
564 Value instruction_count_instr = instr .getBits(OFFSET_COUNT+WIDTH_COUNT-1, OFFSET_COUNT);
565 Assignable instruction_count_ififo_in = ififo_in.getAssignableBits(OFFSET_COUNT+WIDTH_COUNT-1, OFFSET_COUNT);
567 // Clog (must be first)
569 new Object[] { ififo_out, newMayProceed.isFull(), "`instruction_is_clog("+ififo_out.getName()+")" },
570 new Action[] { ififo_out, isClogged.doFill(), newMayProceed.doDrain() }
575 new Object[] { instr, isClogged.isFull(), "`instruction_is_unclog(instr)" },
576 new Action[] { instr, isClogged.doDrain(), newMayProceed.doFill() }
581 new Object[] { instr, ififo_out,
582 "`instruction_is_kill(instr)",
583 "!`instruction_is_unclog(instr)",
584 newMayProceed.isFull() },
585 new Action[] { instr, ififo_out,
586 new ConditionalAction("`instruction_count(instr)!=0", new AssignAction(repcount, instruction_count_instr+"-1")),
587 new ConditionalAction("`instruction_count(instr)!=0", doRepeatKill.doFill()),
588 new ConditionalAction("`instruction_count(instr)!=0", newMayProceed.doDrain()),
589 new ConditionalAction("`instruction_count(instr)==0", newMayProceed.doFill())
594 new Object[] { doKill.isFull() },
595 new Action[] { doKill.doDrain(),
596 new ConditionalAction("`instruction_count(instr)!=0", new AssignAction(repcount, instruction_count_instr+"-1")),
597 new ConditionalAction("`instruction_count(instr)!=0", doRepeatKill.doFill()),
598 new ConditionalAction("`instruction_count(instr)==0", newMayProceed.doFill())
603 new Object[] { doRepeatKill.isFull(), ififo_out },
604 new Action[] { doRepeatKill.doDrain(), ififo_out, doKill.doFill(),
605 new AssignAction(instruction_count_ondeck, repcount) }
610 new Object[] { instr, ififo_in, "!`instruction_is_kill(instr)" },
611 new Action[] { instr, ififo_in, new AssignAction(ififo_in, instr) }
616 new Object[] { ififo_out, ondeckFull.isEmpty(), newMayProceed.isFull() },
617 new Action[] { ififo_out, ondeckFull.doFill(), newMayProceed.doDrain(),
618 new AssignAction(ondeck, ififo_out) }
623 new Object[] { doRepeat.isFull() },
624 new Action[] { doRepeat.doDrain(),
626 new AssignAction(instruction_count_ondeck, repcount) }
629 Assignable data_latch = new SimpleAssignable(inbox ? data_out.getName() : "`packet_data("+data_out.getName()+")");
630 String data_latch_input = inbox ? "`packet_data("+data_in.getName()+")" : data_in.getName();
632 new Object[] { ondeckFull.isFull(),
636 new ConditionalTrigger("`instruction_bit_datain(ondeck)", data_in),
637 new ConditionalTrigger("`instruction_bit_tokenin(ondeck)", token_in)
639 new Action[] { new SimpleAction("ondeck_full<=0;"),
640 new ConditionalAction("`instruction_count(ondeck)==1 || `instruction_bit_recycle(ondeck)", newMayProceed.doFill()),
641 new ConditionalAction("`instruction_bit_recycle(ondeck) && `instruction_count(ondeck)!=1",
642 new AssignAction(ififo_in, ondeck)),
643 new ConditionalAction("`instruction_bit_recycle(ondeck) && `instruction_count(ondeck)!=1 && `instruction_count(ondeck)==0",
644 new AssignAction(instruction_count_ififo_in, "0")),
645 new ConditionalAction("`instruction_bit_recycle(ondeck) && `instruction_count(ondeck)!=1 && `instruction_count(ondeck)!=0",
646 new AssignAction(instruction_count_ififo_in, instruction_count_ondeck+"-1")),
647 new ConditionalAction("`instruction_bit_recycle(ondeck) && `instruction_count(ondeck)!=1", ififo_in),
648 new ConditionalAction("!`instruction_bit_recycle(ondeck) && `instruction_count(ondeck)!=1", doRepeat.doFill()),
649 new ConditionalAction("`instruction_count(ondeck)==0", new AssignAction(repcount, "0")),
650 new ConditionalAction("`instruction_count(ondeck)!=0", new AssignAction(repcount, instruction_count_ondeck+"-1")),
651 new ConditionalAction("`instruction_bit_datain(ondeck)", data_in),
652 new ConditionalAction("`instruction_bit_dataout(ondeck)", data_out),
653 new ConditionalAction("`instruction_bit_tokenin(ondeck)", token_in),
654 new ConditionalAction("`instruction_bit_tokenout(ondeck)", token_out),
655 new ConditionalAction("`instruction_bit_latch(ondeck)", new AssignAction(data_latch, data_latch_input)),
656 new ConditionalAction("`instruction_bit_tokenout(ondeck)",
657 new AssignAction(new SimpleAssignable("`packet_dest("+token_out.getName()+")"),
658 "`instruction_bit_dest(ondeck)")),
659 new ConditionalAction("`instruction_bit_dataout(ondeck) && !`instruction_bit_tokenout(ondeck)",
660 inbox ? new SimpleAction("")
661 : new AssignAction(new SimpleAssignable("`packet_dest("+data_out.getName()+")"),
662 "`instruction_bit_dest(ondeck)")),
663 new ConditionalAction("`instruction_bit_dataout(ondeck) && `instruction_bit_tokenout(ondeck)",
664 inbox ? new SimpleAction("")
665 : new AssignAction(new SimpleAssignable("`packet_dest("+data_out.getName()+")"),
666 data_out.getName()+"["+(WIDTH_WORD-1)+":"+(WIDTH_WORD-WIDTH_DEST_ADDR)+"]"))
670 PrintWriter pw = new PrintWriter(new OutputStreamWriter(new FileOutputStream(prefix+"/"+name+".v")));
671 pw.println("`define instruction_bit_tokenout(instruction) instruction["+OFFSET_TO+"]");
672 pw.println("`define instruction_bit_dataout(instruction) instruction["+OFFSET_DO+"]");
673 pw.println("`define instruction_bit_latch(instruction) instruction["+OFFSET_DL+"]");
674 pw.println("`define instruction_bit_datain(instruction) instruction["+OFFSET_DI+"]");
675 pw.println("`define instruction_bit_tokenin(instruction) instruction["+OFFSET_TI+"]");
676 pw.println("`define instruction_bit_recycle(instruction) instruction["+OFFSET_RQ+"]");
677 pw.println("`define instruction_bit_dest(instruction) instruction["+(OFFSET_DEST+WIDTH_DEST_ADDR-1)+":"+OFFSET_DEST+"]");
678 pw.println("`define instruction_count(instruction) instruction["+(OFFSET_COUNT+WIDTH_COUNT-1)+":"+OFFSET_COUNT+"]");
679 pw.println("`define instruction_is_kill(i) (`instruction_bit_latch(i) && (!(`instruction_bit_datain(i))))");
680 pw.println("`define instruction_bit_kill_only_standing(i) (`instruction_bit_tokenin(i))");
681 pw.println("`define instruction_is_clog(instruction) (`instruction_count(instruction)==0 && !`instruction_bit_tokenin(instruction) && !`instruction_bit_datain(instruction) && !`instruction_bit_tokenout(instruction) && !`instruction_bit_dataout(instruction))");
682 pw.println("`define instruction_is_unclog(instruction) (`instruction_bit_kill_only_standing(instruction) && `instruction_is_kill(instruction))");