amaranth icon indicating copy to clipboard operation
amaranth copied to clipboard

pysim: option to capture simulation output in a python object

Open mszep opened this issue 5 years ago • 9 comments

Would it make sense to have a way to capture simulation output in a python object, rather than having to use a vcd file and a separate reader program?

I'm building a physics simulator in nmigen and it would be super helpful when debugging to be able to plot a signal's trace (over eg 1000 timesteps) in matplotlib, within the same python session as the simulation.

Does this make sense as a workflow? Is there already a way to do this?

mszep avatar Feb 28 '20 14:02 mszep

Yes, it would make perfect sense as a workflow. Do you have any preferences regarding an exported API here?

whitequark avatar Feb 28 '20 15:02 whitequark

Thinking about the API, I'd have no preference -- whatever's most convenient on the nmigen side.

I guess for consistency we could have a context manager similar to write_vcd, so something like

traces = {}
with write_dict(traces):
    sim.run()

where traces would then contain the signal identifiers as keys, and perhaps a list of (timestamp, value) pairs as values?

mszep avatar Feb 28 '20 16:02 mszep

I'd like us to make sure that this can be used incrementally - that is, run for N clock ticks and return the traces, do something with them, then run for M more clock ticks and return those traces. This ties into my dream of an interactive simulator.

Note that I don't think the context manager API is incompatible with the above, just making a use case known. run_until and step in place of run should cover it.

awygle avatar Feb 28 '20 18:02 awygle

Yes, that would be awesome! I was thinking of the possibility of making interactive simulations with ipywidgets, but if making it iterative will complicate the API or the implementation of the simple case, perhaps the simple case should take priority.

mszep avatar Feb 29 '20 16:02 mszep

It wouldn't be hard to make it iterative; the VCD writer isn't, but only due to limitations of the VCD file format.

whitequark avatar Feb 29 '20 23:02 whitequark

FWIW, I ended up just passing a StringIO object to the write_vcd context manager and parsing the vcd text data into plottable form.

Therefore, I think this issue can be deprioritized or closed altogether.

mszep avatar Mar 07 '20 22:03 mszep

I think it would be an appropriate and highly useful feature to have: your workaround is... let's say suboptimal (no shade but it's pretty inefficient), and what @awygle wants here is also very reasonable.

whitequark avatar Mar 08 '20 10:03 whitequark

This looks like a typical application for an Observer. The Observer is registered with the simulator, which then notifies it of interesting events.

I made a draft PR as an RFC. I think this is general enough to:

  • act as the interface for _VCDWriter
  • capture dictionaries of values at each step for @mszep's use case
  • intercept simulator state at defined numbers of clock cycles or timestamps for @awygle's use case

Please send comments.

alanvgreen avatar Aug 20 '21 22:08 alanvgreen

@alanvgreen https://github.com/amaranth-lang/amaranth/pull/628#issuecomment-1414802510

whitequark avatar Feb 03 '23 03:02 whitequark