Mon Sep 3 12:18:12 EDT 2018


What I have:

- a Verilog Procedural Interface (VPI) module parameterized by
  environment variables to find input and output pipes on the file system.

What I want:

- A haskell wrapper to create the pipes, run the application,
  read/write the pipes and expose the whole thing as an [[Int]] ->
  [[Int]] function.

- A binary protocol.

To keep things simple, add some simplifications:

- uint32_t
- known vector size
- optionally "flush" after write to allow "tight" emulation

Eventually, this is supposed to go fast.  Should I use IPC instead of
pipes?  Maybe it is too soon, so stick with the simplest.