3 // Two Fifo ships contain the same number of elements. Send a combined
4 // sequence to the Debug ship such that each pair of elements is in
7 // Hint: look at the ship file that defines the Alu2 ship
11 // Unlike the Alu2 version, no flow control/sequencing is necessary.
14 #import edu.berkeley.fleet.ships
27 // for debugging; your solution must work with any
33 fifo1.in: [*] take, deliver;
37 fifo2.in: [*] take, deliver;
39 // your solution goes here
42 (*) take, sendto alu.in1.min;
43 (*) sendto alu.in1.max;
45 fifo2.out: [*] take, sendto alu.in2;
46 alu.in1: [*] take, deliver;
51 alu.out: [*] take, sendto debug.in;
52 debug.in: [*] take, deliver;