| *** tpb <[email protected]> has joined #yosys | 00:00 | |
| *** emeb_mac <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 06:13 | |
| *** kraiskil <[email protected]> has joined #yosys | 08:39 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 08:46 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 09:49 | |
| *** AdamHorden <[email protected]> has joined #yosys | 10:03 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 10:28 | |
| *** AdamHorden <[email protected]> has joined #yosys | 10:30 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 10:48 | |
| *** AdamHorden <[email protected]> has joined #yosys | 10:49 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 255 seconds) | 11:09 | |
| *** AdamHorden <[email protected]> has joined #yosys | 11:17 | |
| *** AdamHorden <[email protected]> has quit IRC (Ping timeout: 246 seconds) | 11:33 | |
| *** AdamHorden <[email protected]> has joined #yosys | 11:35 | |
| *** lambda <[email protected]> has quit IRC (Quit: WeeChat 3.5) | 12:09 | |
| *** lambda <[email protected]> has joined #yosys | 12:10 | |
| *** kraiskil <[email protected]> has joined #yosys | 13:10 | |
| *** emeb_mac <[email protected]> has joined #yosys | 13:15 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 13:22 | |
| *** q3k <q3k!q3k@hswaw/infra/q3k> has joined #yosys | 15:05 | |
| cr1901 | Oh I could've sworn you were already in this room, q3k :P | 15:08 |
|---|---|---|
| q3k | so did i | 15:09 |
| cr1901 | When I switched to an IRC client w/ better autojoin, I stopped trying to keep all the rooms I'm in in my head. And it's only like 30 now | 15:10 |
| cr1901 | (across 3 networks) | 15:10 |
| *** kraiskil <[email protected]> has joined #yosys | 16:06 | |
| killjoy | tmux -> weechat -> znc ftw. | 17:16 |
| killjoy | I don't remember any channels I'm in, or networks, or passwords, or whatever. | 17:17 |
| killjoy | I'm apparently down to 59 buffer windows though. I think my highest number was in the 120's. | 17:17 |
| *** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 17:29 | |
| *** adjtm <[email protected]> has joined #yosys | 17:57 | |
| q3k | anyway i'm here because i'm debugging some wierd behaviour when doing synth_ecp5 w/abc9: seems like when yosys parses the resulting AIG and renames cells to $lutfoo / $lutbar[baz], it attempts to rename two different cells to the same name, thereby triggering an assertion | 18:37 |
| q3k | i've got stuck attempting to understand what exactly the aiger frontend is doing and why, so i guess i should just file an issue for it? problem is, i can't seem to even minify my test case well enough, attempts at simplifying cause the issue to not manifest then | 18:38 |
| q3k | as in, this is what happens after adding some log() based debugging: | 18:39 |
| q3k | Renaming $lut$aiger244019$22639 to $lut\qf100_frontend.forkDMem_fifoReqRAMA_rv$port1__read[36] | 18:39 |
| q3k | Renaming $lut$aiger244019$26516 to $lut\qf100_frontend.forkDMem_fifoReqRAMA_rv$port1__read[36] | 18:39 |
| q3k | a naive interpretation of what happening is that abc emits two different LUTs with their Y (iiuc, output) ports connected to the same net, and since the LUTs get renamed based on their outputting net (?) the assert fires | 18:40 |
| q3k | but that in turn implies that the netlist is junk, why would two LUTs have their outputs tied together? | 18:41 |
| *** emeb_mac <[email protected]> has joined #yosys | 19:19 | |
| *** kraiskil <[email protected]> has quit IRC (Ping timeout: 258 seconds) | 19:34 | |
| *** Guest80 <Guest80!~Guest80@2a02-a462-75b9-1-519f-333b-9e01-2791.fixed6.kpn.net> has joined #yosys | 20:37 | |
| *** Guest80 <Guest80!~Guest80@2a02-a462-75b9-1-519f-333b-9e01-2791.fixed6.kpn.net> has quit IRC (Client Quit) | 20:38 | |
| *** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 22:13 | |
| *** nonchip <[email protected]> has joined #yosys | 22:13 | |
| corecode | hi q3k | 22:21 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!