#nmigen on 2021-03-22 — irc logs at freenode.irclog.whitequark.org

00:45 <_whitenotifier-4> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JmFPa

00:45 <_whitenotifier-4> [YoWASP/yosys] whitequark 71c19b5 - Update dependencies.

00:47 <d1b2> <4o> where can i get a fsm example?

00:51 <agg> what sort of thing are you looking for 4o?

00:51 <agg> this is the first thing I have online that I found, https://github.com/adamgreig/daqnet/blob/master/gateware/daqnet/utils.py#L51-L62

00:54 <d1b2> <4o> can i reference fsm state outside with m.Fsm()... ?

00:57 <agg> if you use "with m.FSM() as fsm" then the fsm variable as a state attribute which is the current state

00:57 <agg> but what do you want to do with the state outside the FSM?

00:58 <d1b2> <4o> split it into 2 processes. 20+ states of transitions and actions will be a mess

01:00 <agg> depending on your objectives you might be able to just refactor the state logic into separate python functions, or extract a common sub-FSM into a separate module which you can control from the top FSM

01:01 <agg> you can't set the next-state from outside the FSM and I guess bad things happen if you try to override the state from outside the FSM (though I've never tried...), I guess you could just have some extra switches on the fsm state outside of it but maybe you can achieve the same code organisation using normal python tools

01:02 <d1b2> <4o> vice versa, i want with m.If(fsm.state == 'one') somwhere else in the code

01:34 <d1b2> <4o> is there a option to set default value for a signal in a switch as one can do in hdl? aka https://paste.debian.net/1190378/

01:34 <agg> with m.Default() at the end gives you a default case

01:39 <d1b2> <4o> default case differs from default value

01:40 <agg> there's a few options, you can use Signal(reset=12) to set a value it takes at reset, you could add an assignment like you have already and it will apply unless overridden by any of the case statements, or you could assign the default value in the default case

01:41 <agg> if you have `m.d.comb += b.eq(12)` and later `with m.If(a): m.d.comb += b.eq(13)`, then b is Mux(a, 13, 12)

01:42 <d1b2> <4o> wohoo, great. thanks

01:48 <d1b2> <4o> hmmm. will this work as a way to get fsm state outside the with m.Fsm() ? https://paste.debian.net/1190379/

01:49 <agg> no, you probably want something more like `state = None; with m.FSM() as fsm: state = fsm.state`

01:49 <agg> also if you scroll up a little in this room someone asked about exactly that and got an example, last thing before your message

01:51 <d1b2> <4o> true. that didn't click as an answer. still getting used to thinking both in python and hdl

06:23 <_whitenotifier-4> [nmigen] slan opened pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuk

06:26 <_whitenotifier-4> [nmigen] codecov[bot] commented on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

06:26 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

06:28 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

06:35 <_whitenotifier-4> [nmigen] whitequark reviewed pull request #602 commit - https://git.io/Jmbga

16:06 <_whitenotifier-4> [nmigen] slan synchronize pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuk

16:06 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

16:08 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

16:09 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

16:10 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

18:14 <vup> agg: @4o, actually if you do something like `with m.FSM() as fsm: ...` the `fsm` object is actually available outside of the `with` block

21:08 <_whitenotifier-4> [nmigen] slan synchronize pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuk

21:08 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

21:11 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw

21:12 <_whitenotifier-4> [nmigen] codecov[bot] edited a comment on pull request #602: Add synth_design_options override for vivado - https://git.io/Jmbuw