clifford changed the topic of #yosys to: Yosys Open SYnthesis Suite: http://www.clifford.at/yosys/ -- Channel Logs: https://irclog.whitequark.org/yosys
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
Degi has quit [Ping timeout: 265 seconds]
Degi has joined #yosys
az0re has joined #yosys
kristianpaul has quit [Ping timeout: 240 seconds]
kristianpaul has joined #yosys
X-Scale has quit [Ping timeout: 256 seconds]
X-Scale` has joined #yosys
X-Scale` is now known as X-Scale
emeb has quit [Ping timeout: 246 seconds]
emeb_mac has quit [Ping timeout: 264 seconds]
emeb_mac has joined #yosys
emeb has joined #yosys
_whitelogger has joined #yosys
citypw has joined #yosys
emeb has quit [Quit: Leaving.]
kmehall has joined #yosys
_whitelogger has joined #yosys
_whitelogger has joined #yosys
kristianpaul has quit [Ping timeout: 256 seconds]
ric96 has joined #yosys
<ric96> daveshah: does prjxray support loading data into bram rom the same way as icestorm using readmemb?
kristianpaul has joined #yosys
kristianpaul has quit [Ping timeout: 246 seconds]
kristianpaul has joined #yosys
kristianpaul has quit [Ping timeout: 246 seconds]
strongsaxophone has joined #yosys
kraiskil has joined #yosys
emeb_mac has quit [Quit: Leaving.]
kristianpaul has joined #yosys
Asu has joined #yosys
kraiskil has quit [Ping timeout: 240 seconds]
_whitelogger has joined #yosys
kraiskil has joined #yosys
xtro has quit [Ping timeout: 240 seconds]
markus-k has joined #yosys
kristianpaul has quit [Read error: Connection reset by peer]
kristianpaul has joined #yosys
_whitelogger has joined #yosys
<somlo> I'm trying to build a rocket-based litex soc for ecp5 with yosys/trellis/nextpnr, and I'm having problems with abc9: https://pastebin.com/vRPXwWbd
<tpb> Title: 8.47.18.6. Executing AIGER frontend./usr/include/c++/10/bits/stl_vector.h:1045 - Pastebin.com (at pastebin.com)
<daveshah> Huh, that looks pretty horrible to debug
<daveshah> as it is a problem in the AIGER frontend, it could either be a frontend bug, or at least partially an issue in what ABC is producing
<somlo> using upstream abc 448f263 with https://github.com/berkeley-abc/abc/pull/89 (which used to cause abc itself to crash during the abc9 run)
<tpb> Title: Skip the body of Gia_LutForEachFanin if iFan is negative. by jamesjer · Pull Request #89 · berkeley-abc/abc · GitHub (at github.com)
<daveshah> can you get a full backtrace?
<somlo> daveshah: is there an easy way to do that (I'm running everything through layers of litex build scripts)
<daveshah> On arch, I would run coredumpctl gdb
<somlo> daveshah: had to add myself to the
<somlo> adm group to be able to do that; I'm re-running the build and will try again
<daveshah> can't it open the old core dump from the previous failure?
<somlo> I probably ran a bunch of other stuff in other ssh windows on the same machine since then, so at this point I want to make sure I get the right one :)
<daveshah> ah
<somlo> daveshah: hehe, now it worked, but I apparently haven't installeed the yosys debuginfo package (fedora strips those out and makes them into an optional add-on)
<somlo> so I'll rinse and repeat, and report back once I have something more useful :)
strongsaxophone has quit [Quit: Lost terminal]
emeb has joined #yosys
citypw has quit [Ping timeout: 240 seconds]
<somlo> took a while to get the tooling all set up, but here it is...
<daveshah> Unfortunately, I can't see an obvious reason why the xaiger code would fail like that
<daveshah> I think it would be best to create a GH issue
xtro has joined #yosys
<somlo> daveshah: thanks, will do -- should be straightforward now that I have the actual backtrace to go with it :)
<somlo> well, straightforward modulo collecting all the verilog files and zipping them up to provide the required MCVE reproducer :) But ultimately doable...
<daveshah> I would recommend adding the abc files from /tmp/yosys-abc-something, too
<somlo> thanks, good point, will do. Of course the situation isn't helped by the fact that I'm running a patched abc (https://github.com/berkeley-abc/abc/issues/84) to get around another bug I've run into (also during abc9) a few weeks ago
<tpb> Title: double free or corruption error during yosys abc9 techmap pass · Issue #84 · berkeley-abc/abc · GitHub (at github.com)
<somlo> that bug btw is most likely present in the "vendored" abc used by yosys as well
kraiskil has quit [Ping timeout: 260 seconds]
kristianpaul has quit [Read error: Connection reset by peer]
<somlo> daveshah: https://github.com/YosysHQ/yosys/issues/2343 (and thanks again for the assistance collecting all the material)
<tpb> Title: xaiger failure during abc9 pass · Issue #2343 · YosysHQ/yosys · GitHub (at github.com)
emeb_mac has joined #yosys
emeb_mac has quit [Ping timeout: 240 seconds]
emeb_mac has joined #yosys
Asu has quit [Remote host closed the connection]
indy has quit [Ping timeout: 240 seconds]
emeb_mac has quit [Ping timeout: 240 seconds]
emeb_mac has joined #yosys
emeb has quit [Ping timeout: 256 seconds]
emeb has joined #yosys
lf has quit [Ping timeout: 260 seconds]
lf_ has joined #yosys
indy has joined #yosys
emeb has quit [Ping timeout: 240 seconds]
emeb has joined #yosys
kristianpaul has joined #yosys
xtro has quit [Ping timeout: 260 seconds]