Wed Aug 8 14:15:40 EDT 2018


Here's why closeMem is awkward: FIFOs decouple parts of the circuit,
so you really want to have the two ends to be fairly separate

E.g. I have a circuit with 16 FIFOs.  The reader end is a circuit that
talks to all 16 FIFOs, and the writer end are 16 identical circuits,
speaking to one FIFO each.

This will need a closeMem operation that's quite high up the

There is a more general point to make: sometimes there is a lot of
criss-cross going on that is easy to solve when resources are named
and binding (single assignment) is explicit.

There is a really big tension between applicative style and "netlist
style" or explicit single-assigment binding.