\begin{abstract}
-This document describes the Docks on the Marina test chip.
+This document describes the instruction format for the docks on the
+Marina test chip, as well as their software-visible behavior. Two
+subsequent memos will describe the chip's circuit design and
+experimental results.
%Changes:
%
\begin{bytefield}{25}
\bitheader[b]{0,5,12-18}\\
- \bitbox[1]{6}{\raggedleft {\tt Immediate}\to{\tt OLC}}
+ \bitbox[1]{5}{\raggedleft {\tt Immediate}\to{\tt OLC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 1000\color{black}}
\bitbox{3}{\tt 100}
\begin{bytefield}{25}
\bitheader[b]{12-18}\\
- \bitbox[1]{6}{\raggedleft {\tt Data Latch}\to{\tt OLC}}
+ \bitbox[1]{5}{\raggedleft {\tt Data Latch}\to{\tt OLC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 1000\color{black}}
\bitbox{3}{\tt 010}
\begin{bytefield}{25}
\bitheader[b]{12-18}\\
- \bitbox[1]{6}{\raggedleft {\tt OLC-1}\to{\tt OLC}}
+ \bitbox[1]{5}{\raggedleft {\tt OLC-1}\to{\tt OLC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 1000\color{black}}
\bitbox{3}{\tt 001}
\begin{bytefield}{25}
\bitheader[b]{0,5,6,12-18}\\
- \bitbox[1]{6}{\raggedleft {\tt Immediate}\to{\tt ILC}}
+ \bitbox[1]{5}{\raggedleft {\tt Immediate}\to{\tt ILC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 0100\color{black}}
\bitbox{3}{\tt 100}
\begin{bytefield}{25}
\bitheader[b]{6,12-18}\\
- \bitbox[1]{6}{\raggedleft $\infty$\to{\tt ILC}}
+ \bitbox[1]{5}{\raggedleft $\infty$\to{\tt ILC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 0100\color{black}}
\bitbox{3}{\tt 100}
\begin{bytefield}{25}
\bitheader[b]{12-18}\\
- \bitbox[1]{6}{\raggedleft {\tt Data Latch}\to{\tt ILC}}
+ \bitbox[1]{5}{\raggedleft {\tt Data Latch}\to{\tt ILC}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 0100\color{black}}
\bitbox{3}{\tt 010}
\begin{bytefield}{25}
\bitheader[b]{0,13-18}\\
- \bitbox[1]{6}{\raggedleft \footnotesize {\tt Sign-Extended Immediate}\to{\tt Data Latch}}
+ \bitbox[1]{5}{\raggedleft \footnotesize {\tt Sign-Extended Immediate}\to{\tt Data Latch}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 0010\color{black}}
\bitbox{1}{\begin{minipage}{0.5cm}{
\begin{bytefield}{25}
\bitheader[b]{0,5,6,11,15-18}\\
- \bitbox[1]{6}{\raggedleft {\tt Update Flags}}
+ \bitbox[1]{5}{\raggedleft {\tt Update Flags}}
\bitbox[r]{1}{}
\bitbox{4}{\tt 0001\color{black}}
\bitbox{3}{}