From cedfa0d79cc8f11ca66d735ac58b793aa0aa72ac Mon Sep 17 00:00:00 2001 From: adam Date: Sun, 16 Sep 2007 05:11:47 +0100 Subject: [PATCH] update docs --- ships/Fifo.ship | 2 +- ships/Lut3.ship | 9 +++------ ships/Memory.ship | 3 ++- 3 files changed, 6 insertions(+), 8 deletions(-) diff --git a/ships/Fifo.ship b/ships/Fifo.ship index 875565e..663c524 100644 --- a/ships/Fifo.ship +++ b/ships/Fifo.ship @@ -9,7 +9,7 @@ data out: out == TeX ============================================================== -The {\tt Fifo} ship is a simple fifo. Values delivered to the {\tt +The {\tt Fifo} ship is a simple fifo. Word-sized delivered to the {\tt in} port are enqueued into the fifo, and values which arrive at the end of the fifo are provided to the {\tt out} port. diff --git a/ships/Lut3.ship b/ships/Lut3.ship index 25056ee..72a51dd 100644 --- a/ships/Lut3.ship +++ b/ships/Lut3.ship @@ -18,9 +18,9 @@ NOR == TeX ============================================================== -This ship implements a 3-input {\bf L}ook {\bf U}p {\bf T}able. The -least significant eight bits of the {\tt inLut} value form a truth -table with three inputs and one output. +This ship implements a bitwise 3-input {\bf L}ook {\bf U}p {\bf +T}able. The least significant eight bits of the {\tt inLut} value +form a truth table with three inputs and one output. When values are available at all four inputs they are consumed and a value is produced at {\tt out}. Each bit of {\tt out} is produced by @@ -34,9 +34,6 @@ bit}. This three-bit number, ranging from 0 to 7 (decimal), is used as a bit index into {\tt inLut}'s value (whose least significant bit is considered ``bit zero''). -The ship-specific constants refer to commonly-used truth tables for -{\it two-input} functions; these constant truth tables are invariant -under input {\tt in3}. == Fleeterpreter ==================================================== public void service() { diff --git a/ships/Memory.ship b/ships/Memory.ship index c24f5f8..6600dd5 100644 --- a/ships/Memory.ship +++ b/ships/Memory.ship @@ -53,7 +53,8 @@ memory at that address is provided at {\tt out}. When a word is delivered to {\tt inAddrWrite} and {\tt inDataWrite}, the word at {\tt inDataWrite} is written to the address specified by {\tt inAddrWrite}. Once the word is successfully committed to memory, -a value (undefined) is provided at {\tt out}. +the value {\tt inAddr+inStride} is provided at {\tt out} (that is, the +address of the next word to be written). \subsection*{To Do} -- 1.7.10.4