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.