Improve error message of Signal changed its value after ...

[awmoore-intel]

Motivation

I am getting this error message but have no idea what signal has the issue.

Signal changed its value after being used within one `Combinational` execution. This can 
lead to a mismatch between simulation and synthesis. You may be able to use 
`Combinational.ssa` to correct your design with minimal refactoring.

Desired solution

Indicate what signal/object has the problem

Alternatives considered

No response

Additional details

This was seen when using signals inside a FiniteStateMachine.

[mkorbel1]

Thanks for raising this. If I recall, there's a potential performance implication for the "obvious" refactor here to get more context during simulation, but I agree it's important for debug to reveal more information, this is worth fixing.

[mkorbel1]

Meanwhile, this post can provide some insight potentially to help debug:
https://intel.github.io/rohd-website/blog/combinational-ssa/

[awmoore-intel]

Meanwhile, this post can provide some insight potentially to help debug: https://intel.github.io/rohd-website/blog/combinational-ssa/

Nice post! I tried to use Combinational.ssa in FiniteStatemachine but it required a Conditional, so didn't work for me.

[mkorbel1]

Nice post!

Thanks!

I tried to use Combinational.ssa in FiniteStatemachine but it required a Conditional, so didn't work for me.

Yes, I think this would require a new flavor of FSM, maybe something like State.ssa, to use that feature within there.

[mkorbel1]

Filed #571