amaranth-lang / amaranth

A modern hardware definition language and toolchain based on Python
https://amaranth-lang.org/docs/amaranth/
BSD 2-Clause "Simplified" License
1.58k stars 174 forks source link

pysim: option to capture simulation output in a python object #327

Open mszep opened 4 years ago

mszep commented 4 years ago

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?

whitequark commented 4 years ago

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

mszep commented 4 years ago

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?

awygle commented 4 years ago

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.

mszep commented 4 years ago

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.

whitequark commented 4 years ago

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

mszep commented 4 years ago

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.

whitequark commented 4 years ago

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.

alanvgreen commented 3 years ago

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:

Please send comments.

whitequark commented 1 year ago

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