ChanServ changed the topic of #yosys to: Yosys Open SYnthesis Suite: https://github.com/YosysHQ/yosys/ | Channel logs: https://libera.irclog.whitequark.org/yosys/
tpb has quit [Remote host closed the connection]
tpb has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Quit: Leaving.]
FabM has joined #yosys
emeb_mac has quit [Quit: Leaving.]
emeb_mac has joined #yosys
emeb_mac has quit [Client Quit]
vidbina has joined #yosys
gmc_ has quit [Remote host closed the connection]
gmc_ has joined #yosys
vidbina has quit [Ping timeout: 240 seconds]
AdamHord- is now known as AdamHorden
vidbina has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Client Quit]
emeb has joined #yosys
gsmecher has joined #yosys
gsmecher has quit [Quit: Leaving.]
Guest57 has joined #yosys
Guest57 has quit [Client Quit]
gsmecher has joined #yosys
vidbina has quit [Ping timeout: 245 seconds]
FabM has quit [Quit: Leaving]
vidbina has joined #yosys
svenn has joined #yosys
<svenn> ABC: Scl_Liberyosys-abc: src/map/scl/sclLiberty.c:1130: int Scl_LibertyScanTable(Scl_Tree_t *, Vec_Ptr_t *, Scl_Item_t *, char *, Vec_Ptr_t *): Assertion `!vIndex1 || Vec_FltSize(vIndex
<svenn> Hello. I am trying to use abc with a proprietary liberty file and get this error message and core dump:
<svenn> ERROR: ABC: execution of command "/usr/local/share/qflow/bin/yosys-abc -s -f /tmp/yosys-abc-Ddw4Nb/abc.script 2>&1" failed: return code 134.
<svenn> ABC: Aborted (core dumped)
<svenn> 1) == Vec_FltSize(vInd1)' failed.
<svenn> I am a bit unsure where I should discuss how to find what is causing this error
<svenn> read_liberty in yosys does not report any errors
<svenn> yosys> read_liberty -lib -ignore_miss_dir -setattr blackbox ./temporary.lib
emeb has left #yosys [#yosys]
<svenn> mapping dff does also pass, and I can see that the yosys dff is mapped to technology dff (sorry cannot paste dff names mapped)
<svenn> yosys> dfflibmap -liberty ./temporary.lib
<svenn> then I run the abc command and things break
emeb_mac has joined #yosys
<svenn> yosys> abc -exe /usr/local/share/qflow/bin/yosys-abc -liberty ./temporary.lib -script +strash;scorr;ifraig;retime,{D};stra
<svenn> sh;dch,-f;map,-M,1,{D}
vidbina has quit [Ping timeout: 268 seconds]
gsmecher has quit [Ping timeout: 240 seconds]
<whitequark> gbv l
<whitequark> ???????"
<whitequark> ???????
<whitequark> apologies, a cat laid on the keyboard
<mwk> meow
<emeb_mac> cat-like typing detected
<killjoy> A likely (and plausible) story.
<killjoy> We have a new kitten that's been walking on my keyboard.
<emeb_mac> cats are mysteriously drawn to keyboards.
tlwoerner has quit [Read error: Connection reset by peer]
tlwoerner has joined #yosys