leviathanch has quit [Remote host closed the connection]
tmeissner has joined #yosys
citypw has quit [Ping timeout: 246 seconds]
rohitksingh_work has quit [Read error: Connection reset by peer]
promach has joined #yosys
<promach>
For https://i.imgur.com/tz3QXNv.png , why does the cover() at line 319 still pass when the vcd waveform is showing otherwise ?
m4ssi has joined #yosys
develonepi3 has left #yosys ["Leaving"]
develonepi3 has joined #yosys
rohitksingh_work has joined #yosys
promach has quit [Quit: WeeChat 2.3-dev]
somlo has joined #yosys
leviathanch has joined #yosys
rohitksingh_work has quit [Read error: Connection reset by peer]
<tmeissner>
Hi everyone
<tmeissner>
I get an error regarding 'x'/'z' bits when using abc pdr with SymbiYosys
<tmeissner>
The Note says that I have to use setundef to workaround this
<tmeissner>
But in which context should I use that command?
kraiskil has joined #yosys
celadon has quit [Quit: ZNC 1.7.1+deb2+b3 - https://znc.in]
celadon has joined #yosys
voxadam has quit [Ping timeout: 252 seconds]
voxadam has joined #yosys
rohitksingh has joined #yosys
<daveshah>
tmeissner: try `setundef -zero`
<ZipCPU>
daveshah: Would that be within the [script] section of the SymbiYosys script?
<daveshah>
Yes, probably after prep
promach has joined #yosys
kraiskil has quit [Ping timeout: 268 seconds]
<tmeissner>
Thanks
<tmeissner>
Unfortunaly, `setundef -zero` doesn't help
<tmeissner>
I have RAMs in the design which aren't initialized. I tried to workaround that with using anyseq for the ram outputs, because the exact data doesn't matter at the moment. But this results in a assertion error within symbiyosys :(
<daveshah>
tmeissner: what about `setundef -zero -undriven`?
pie_ has joined #yosys
pie___ has quit [Ping timeout: 245 seconds]
nrossi has quit [Ping timeout: 252 seconds]
jfng has quit [Ping timeout: 250 seconds]
fevv8[m] has quit [Ping timeout: 252 seconds]
nrossi has joined #yosys
<tmeissner>
Same result :(
<daveshah>
tmeissner: What is the exact assertion failure that you see?
<tmeissner>
aig: ERROR: Design contains 'x' or 'z' bits. Use 'setundef' to replace those constants.
kraiskil has joined #yosys
jfng has joined #yosys
<daveshah>
Not sure then, I've seen this before but always been able to resolve it with setundef...
fevv8[m] has joined #yosys
<tmeissner>
Okay. Nevertheless, thanks
pie_ has quit [Ping timeout: 246 seconds]
promach has quit [Ping timeout: 258 seconds]
kraiskil has quit [Ping timeout: 245 seconds]
lutsabound has joined #yosys
kraiskil has joined #yosys
seldridge has joined #yosys
tmeissner has quit [Ping timeout: 240 seconds]
leviathanch has quit [Remote host closed the connection]
Ultrasauce has quit [Quit: Ultrasauce]
Ultrasauce has joined #yosys
jevinskie has quit [Ping timeout: 268 seconds]
jevinskie has joined #yosys
seldridge has quit [Ping timeout: 244 seconds]
pie_ has joined #yosys
m4ssi has quit [Remote host closed the connection]
emeb has joined #yosys
Ultrasauce has quit [Quit: Ultrasauce]
Ultrasauce has joined #yosys
seldridge has joined #yosys
rohitksingh has quit [Remote host closed the connection]
lutsabound has quit [Quit: Connection closed for inactivity]
lutsabound has joined #yosys
ZipCPU has quit [Ping timeout: 252 seconds]
ZipCPU has joined #yosys
dys has joined #yosys
sigwinch_ has joined #yosys
sigwinch has quit [Ping timeout: 250 seconds]
kraiskil has quit [Ping timeout: 240 seconds]
X-Scale` has joined #yosys
X-Scale has quit [Ping timeout: 258 seconds]
X-Scale` is now known as X-Scale
lutsabound has quit [Quit: Connection closed for inactivity]