ship: Debug

== Ports ===========================================================
data  in:   in

== Constants ========================================================

== TeX ==============================================================

This ship is used for debugging.  It has only one port, {\tt in}.
Programmers should send debug report values to this port.  How such
values are reported back to the programmer doing the debugging is left
unspecified.

\subsection*{To Do}

Provide an {\tt inOp} port and use opcode ports \cite{am25} to
effectively allow multiple independent ``debug streams''

Provide a way to programmatically read back the output of the debug
ship.

== Fleeterpreter ====================================================
public void service() {
  if (box_in.dataReadyForShip())
    ((Interpreter)getFleet()).debug(box_in.removeDataForShip());
}

== FleetSim ==============================================================

== FPGA ==============================================================

  assign  out_d_ = in_d;
  assign  out_r_ = in_r;

  always @(posedge clk) begin
    if (!rst) begin
      `reset
    end else begin
      `flush
      in_a  <= out_a;
    end
  end

== Test ================================================================
#expect 25

#ship debug : Debug

debug.in:
  set word= 25;
  deliver;

== Contributors =========================================================
Adam Megacz <megacz@cs.berkeley.edu>