| *** tpb has joined #yosys | 00:00 | |
| *** kraiskil has quit IRC | 00:07 | |
| *** dh73 has quit IRC | 00:21 | |
| *** rohitksingh has joined #yosys | 01:59 | |
| *** rohitksingh has quit IRC | 03:07 | |
| *** dh73 has joined #yosys | 03:53 | |
| *** dh73 has quit IRC | 04:56 | |
| *** OK_b00m3r has quit IRC | 05:22 | |
| *** Kamilion has quit IRC | 06:01 | |
| *** nrossi has joined #yosys | 06:07 | |
| *** Kamilion has joined #yosys | 06:10 | |
| *** cr1901_modern has quit IRC | 06:32 | |
| promach3 | What are prf and cvr in https://github.com/ZipCPU/wb2axip/blob/master/bench/formal/demoaxi.sby ? | 06:54 |
|---|---|---|
| tpb | Title: wb2axip/demoaxi.sby at master · ZipCPU/wb2axip · GitHub (at github.com) | 06:54 |
| *** cr1901_modern has joined #yosys | 07:09 | |
| *** Jybz has joined #yosys | 07:15 | |
| *** citypw has joined #yosys | 07:35 | |
| *** futarisIRCcloud has quit IRC | 07:50 | |
| *** Thorn has quit IRC | 08:07 | |
| *** Thorn has joined #yosys | 08:13 | |
| *** kraiskil has joined #yosys | 08:29 | |
| *** mankeli_ is now known as mangelis | 08:33 | |
| *** m4ssi has joined #yosys | 08:47 | |
| *** citypw has quit IRC | 08:50 | |
| pepijndevos | daveshah, I asked about fuser in #archlinux and it seems this is normal, so I made a PR that just sends it to dev/null | 12:00 |
| pepijndevos | https://github.com/YosysHQ/yosys/pull/1529 | 12:00 |
| tpb | Title: Redirect fuser stderr to /dev/null by pepijndevos · Pull Request #1529 · YosysHQ/yosys · GitHub (at github.com) | 12:00 |
| *** lutsabound has joined #yosys | 12:45 | |
| *** citypw has joined #yosys | 13:27 | |
| *** m_hackerfoo has quit IRC | 14:28 | |
| *** hackerfoo has quit IRC | 14:28 | |
| *** spurserh has quit IRC | 14:41 | |
| *** hackerfoo has joined #yosys | 14:50 | |
| *** m_hackerfoo has joined #yosys | 14:50 | |
| *** emeb has joined #yosys | 15:15 | |
| *** maikmerten has joined #yosys | 15:20 | |
| *** kraiskil has quit IRC | 15:35 | |
| *** dh73 has joined #yosys | 15:36 | |
| *** DeadSanity_ has joined #yosys | 15:44 | |
| *** DeadSanity_ has left #yosys | 15:44 | |
| *** d__ has joined #yosys | 16:11 | |
| *** d__ has quit IRC | 16:16 | |
| *** d0nker5 has joined #yosys | 16:17 | |
| *** m4ssi has quit IRC | 16:52 | |
| *** citypw has quit IRC | 16:53 | |
| *** dh73 has quit IRC | 17:06 | |
| *** Jybz has quit IRC | 17:33 | |
| *** Jybz has joined #yosys | 17:35 | |
| *** rohitksingh has joined #yosys | 18:41 | |
| *** Jybz has quit IRC | 19:30 | |
| janrinze | return code 134 with yosys-abc, any idea what that means? | 20:00 |
| *** rohitksingh has quit IRC | 20:08 | |
| daveshah | janrinze: no, are there any other errors printed? | 20:13 |
| *** rohitksingh has joined #yosys | 20:15 | |
| janrinze | yes, it's an assert. found the same now in a yosys bug report. Also it was an error on my side. | 20:15 |
| janrinze | On a side note, abc9 is a lot faster than abc? | 20:17 |
| ZirconiumX | janrinze: ABC9 works based on delay, while ABC uses unit delay | 20:21 |
| ZirconiumX | So it can perform delay-aware LUT mapping | 20:21 |
| ZirconiumX | Which generally results in higher Fmax | 20:21 |
| *** rohitksingh has quit IRC | 20:22 | |
| *** kraiskil has joined #yosys | 20:23 | |
| janrinze | ZirconiumX: Sounds like a very nice improvement. | 20:24 |
| ZirconiumX | For example, a LUT6 does not have the same delay as a LUT2 :P | 20:25 |
| ZirconiumX | Which was what ABC1 assumed. | 20:25 |
| daveshah | FWIW, I think hypothetically ABC1 could use a LUT library with delays too | 20:26 |
| ZirconiumX | Long-term, I think whitequark wants to replace ABC[9] with the flowmap pass, but that's not yet ready for production | 20:26 |
| daveshah | It's more that the Yosys command didn't support it | 20:26 |
| daveshah | The real benefit from abc9 itself is handling of delays through white/greyboxes like carries | 20:27 |
| daveshah | Unfortunately it's ability to optimise around carry chains still leaves something to be desired | 20:27 |
| *** dh73 has joined #yosys | 20:42 | |
| *** nrossi has quit IRC | 21:07 | |
| *** lutsabound has quit IRC | 21:14 | |
| *** maikmerten has quit IRC | 21:31 | |
| *** rohitksingh has joined #yosys | 21:54 | |
| *** rohitksingh has quit IRC | 22:29 | |
| *** lutsabound has joined #yosys | 22:39 | |
| *** futarisIRCcloud has joined #yosys | 23:31 | |
| *** kraiskil has quit IRC | 23:36 | |
| *** emeb has quit IRC | 23:49 | |
Generated by irclog2html.py 2.13.1 by Marius Gedminas - find it at mg.pov.lt!