s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
cr1901_modern has quit [Read error: Connection reset by peer]
lutsabound has quit [Quit: Connection closed for inactivity]
lutsabound has joined #yosys
adamgreig has quit [Ping timeout: 258 seconds]
adamgreig has joined #yosys
cr1901_modern has joined #yosys
lutsabound has quit [Quit: Connection closed for inactivity]
alexhw has quit [Ping timeout: 258 seconds]
proteusguy has joined #yosys
vonnieda has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
vonnieda has joined #yosys
rohitksingh has joined #yosys
proteusguy has quit [Ping timeout: 250 seconds]
emeb has joined #yosys
rohitksingh has quit [Read error: Connection reset by peer]
maikmerten has joined #yosys
rohitksingh has joined #yosys
rohitksingh has quit [Read error: Connection reset by peer]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
citypw has quit [Ping timeout: 248 seconds]
gprabhu has joined #yosys
dys has quit [Ping timeout: 252 seconds]
adamgreig has quit [Ping timeout: 250 seconds]
adamgreig has joined #yosys
gprabhu has quit [Ping timeout: 276 seconds]
fsasm has joined #yosys
FL4SHK has quit [Quit: WeeChat 2.4]
FL4SHK has joined #yosys
<benreynwar>
I'm using 'flatten' and 'opt_clean -purge' with symbiyosys to reduce the size of my design and make it more tractable. It's working well, but is causing me some difficulties when viewing the waveform. If I have a signal that exists in several different modules, it will only be present in one of them in the waveform. Presumably during the "opt_clean -purge" it was removed from all the others. Is it possible to do remove
<benreynwar>
all the irrelevant logic, but still keep multiple aliases for the same signal to make viewing the waveform simpler?
<benreynwar>
If I do 'opt_clean' without the -purge option that seems to work, although it does noticeably slow down the solving.
<daveshah>
I think that this is what opt_clean should do
<daveshah>
It should move the alias nets out of any functional path, just keep them as aliases
<daveshah>
Perhaps we could look into an optimisation not to pass these to the solver but readd them to the vcd
<daveshah>
I don't know the solver side of Yosys to know how useful or feasible that would be
<benreynwar>
daveshah: Ok thanks. It's still going at a pretty good speed. It's possible the difference is in my head.
show has quit [Ping timeout: 252 seconds]
show has joined #yosys
dys has joined #yosys
show has quit [Quit: WeeChat 2.4]
s_frit has quit [Remote host closed the connection]
s_frit has joined #yosys
show has joined #yosys
<benreynwar>
When I'm stubbing out a submodule I'm currently just leaving the inputs and outputs to that module hanging. Symbiyosys then treats the undriven outputs from the submodule as degrees of freedom like the top level inputs, which is the behavior that I want. However I'm wondering whether the use of 'opt_clean' might interfere with this. I'm currently getting behavior where it feels like 'opt_clean' is removing logic from the
<benreynwar>
design that should effect the assumptions and assertions that I'm making. It's also not possible to tell from the waveform what logic has been removed and what hasn't. For example a shift register has been optimized out of the design and the output is now tied to '0'. It would have been nicer to see an 'X' in the waveform so it's clearer what is really '0' and what is just logic that has been cleaned out. Currently I'm
<benreynwar>
inspecting the IL manually to make sense of what's happening.
maikmerten has quit [Remote host closed the connection]
mirage335 has quit [Ping timeout: 252 seconds]
mirage335 has joined #yosys
fsasm has quit [Ping timeout: 246 seconds]
vonnieda has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]