whitequark changed the topic of #nmigen to: nMigen hardware description language · code https://github.com/nmigen · logs https://libera.irclog.whitequark.org/nmigen
aquijoule__ has joined #nmigen
aquijoule_ has quit [Ping timeout: 252 seconds]
Degi_ has joined #nmigen
Degi has quit [Ping timeout: 258 seconds]
Degi_ is now known as Degi
lkcl has quit [*.net *.split]
GenTooMan has quit [*.net *.split]
lkcl has joined #nmigen
GenTooMan has joined #nmigen
electronic_eel has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
electronic_eel has joined #nmigen
pftbest has joined #nmigen
pftbest has quit [Remote host closed the connection]
pftbest has joined #nmigen
emeb_mac has quit [Quit: Leaving.]
bvernoux has joined #nmigen
someone--else has joined #nmigen
aquijoule__ has quit [Ping timeout: 265 seconds]
bvernoux1 has joined #nmigen
richbridger has joined #nmigen
bvernoux has quit [Ping timeout: 268 seconds]
d1b21 has joined #nmigen
d1b2 has quit [Read error: Connection reset by peer]
d1b21 is now known as d1b2
pftbest has quit [Remote host closed the connection]
StephanvanSchaik has quit [Ping timeout: 272 seconds]
StephanvanSchaik has joined #nmigen
pftbest has joined #nmigen
pftbest has quit [Remote host closed the connection]
pftbest has joined #nmigen
bvernoux1 has quit [Quit: Leaving]
bvernoux has joined #nmigen
psydroid is now known as psydroid[m]
psydroid[m] is now known as psydroid
bvernoux has quit [Quit: Leaving]
Lilian has quit [Read error: Connection reset by peer]
Lilian has joined #nmigen
someone--else has quit [Quit: Connection closed]
someone--else has joined #nmigen
peeps[zen] has quit [Quit: Connection reset by peep]
lkcl has quit [Ping timeout: 258 seconds]
emeb has joined #nmigen
someone--else has quit [Quit: Connection closed]
lkcl has joined #nmigen
lkcl has quit [Ping timeout: 258 seconds]
lkcl has joined #nmigen
someone--else has joined #nmigen
someone--else has quit [Quit: Connection closed]
someone--else has joined #nmigen
someone--else has quit [Quit: Connection closed]
<kbeckmann> i'm looking for examples of testbenches that are testing pipelined processes in a nice way. ideally i would like to have two functions that yield the timestep on their own. one that shifts in e.g. 30 cycles worth of data, and another process that asserts the correct output but which is delayed with e.g. 15 cycles.
<kbeckmann> or is it as simple as that i can add multiple processes with sim.add_sync_process(process) ?
<kbeckmann> yes it was.. sorry for the noise :)
emeb_mac has joined #nmigen
peepsalot has joined #nmigen
mwk has quit [Changing host]
mwk has joined #nmigen
nak has quit [Changing host]
nak has joined #nmigen
someone--else has joined #nmigen
someone--else has quit [Quit: Connection closed]
someone--else has joined #nmigen
<mwbrown> Anyone know if there is a way to extract the state string during simulation while using `with m.FSM() as fsm:`? I tried doing something like self.state = fsm.state, and that lets me yield it during simulation, but it only gives me the state number
<mwbrown> And since the state number seems to depend on the order in which it's used in the elaborate function, that seems less than useful, unless there's some sort of implicit dictionary the FSM creates to map the states to the internal values
<anuejn> mwbrown: there is fsm.decoding which maps the numeric values to strings
<d1b2> <dub_dub_11> well it definitely gets sent to .vcd
<mwbrown> Let me try that... I know the string goes into the VCD but I'm hoping to do simulation time asserts to make sure it's in the right state at the right time (trying to implement a JTAG TAP)
<d1b2> <dub_dub_11> ahh
<d1b2> <dub_dub_11> I suppose you could look at how the write_vcd function accesses it?
<mwbrown> I think `fsm.decoding` will work. Looks like it's an OrderedDict and I can just expose both of those to my sim testbench
<mwbrown> so I yield from state and then look it up in the dictionary
<whitequark> `fsm.decoding` is the right approach
<mwbrown> It worked, thanks!