+ if (filename.equals("alu2")) {
+ pw.println("`include \"macros.v\"");
+ pw.println();
+ pw.println("module " + filename + "( clk");
+ for(ShipDescription.BenkoBox bb : sd.benkoBoxes) {
+ if (bb.ports.length > 1) throw new RuntimeException("gah");
+ String bb_name = bb.ports[0];
+ pw.print(" ");
+ if (bb.inbox) {
+ pw.print(", " + bb_name+"_r");
+ pw.print(", " + bb_name+"_a_");
+ pw.print(", " + bb_name+"_d");
+ } else {
+ pw.print(", " + bb_name+"_r_");
+ pw.print(", " + bb_name+"_a");
+ pw.print(", " + bb_name+"_d_");
+ }
+ pw.println();
+ }
+ pw.println(" );");
+ }
+