*** tpb <[email protected]> has joined #yosys | 00:00 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 00:00 | |
*** so-offish <so-offish!~so-offish@2610:148:610:2b11::12> has quit IRC (Read error: Connection reset by peer) | 00:41 | |
*** Guest93 <Guest93!~Guest93@2603-8000-0900-2983-3403-99d2-0ccd-a36d.res6.spectrum.com> has joined #yosys | 01:27 | |
*** lexano <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 01:50 | |
*** emeb_mac <[email protected]> has quit IRC (Quit: Leaving.) | 03:28 | |
*** Guest93 <Guest93!~Guest93@2603-8000-0900-2983-3403-99d2-0ccd-a36d.res6.spectrum.com> has quit IRC (Quit: Client closed) | 03:28 | |
*** tokamak- <tokamak-!~Tokamak@2603:c020:4004:f00:59d7:d5e1:201e:845f> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 04:27 | |
*** tokamak <[email protected]> has joined #yosys | 04:27 | |
*** tokamak <[email protected]> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) | 04:51 | |
*** tokamak <[email protected]> has joined #yosys | 04:52 | |
*** krispaul <[email protected]> has joined #yosys | 05:14 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 272 seconds) | 05:17 | |
*** cr1901_ <cr1901_!~cr1901@2601:8d:8600:226:dcd6:269:2ae9:eea1> has joined #yosys | 07:29 | |
*** tlwoerner <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 07:30 | |
*** cr1901 <cr1901!~cr1901@2601:8d:8600:226:6ce1:15c7:2865:1a7c> has quit IRC (Ping timeout: 260 seconds) | 07:33 | |
*** tlwoerner <[email protected]> has joined #yosys | 07:43 | |
*** tmiw_ is now known as tmiw | 09:54 | |
Zevv | I find that ordering of code sometimes has quite some impact on synthesis area, although the behavior of the code should be the same. Compare https://zevv.nl/div/1.txt and https://zevv.nl/div/2.txt | 10:54 |
---|---|---|
Zevv | If I switch around the two `case` blocks, I end up with 32 more LC's on my ice40 | 10:54 |
Zevv | am I missing something essential here? | 10:55 |
tnt | well yeah ... in 1.txt the `addr` will always be 0. | 10:57 |
tnt | when evaluating the first case. | 10:57 |
Zevv | eum gimme a sec | 10:57 |
Zevv | oh right that makes me feel pretty stupid | 10:58 |
Zevv | my unit tests even fail | 10:58 |
Zevv | sorry for the noise, thanks! | 10:59 |
*** krispaul <[email protected]> has quit IRC (Ping timeout: 272 seconds) | 11:34 | |
*** krispaul <[email protected]> has joined #yosys | 11:34 | |
*** lexano <[email protected]> has joined #yosys | 12:47 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 272 seconds) | 12:48 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 12:51 | |
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys | 13:01 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 276 seconds) | 13:47 | |
*** _whitelogger <[email protected]> has quit IRC (Remote host closed the connection) | 14:26 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys | 14:27 | |
*** _whitelogger <[email protected]> has joined #yosys | 14:27 | |
*** so-offish <[email protected]> has joined #yosys | 16:25 | |
*** so-offishul <so-offishul!~so-offish@2610:148:610:2b11::b> has joined #yosys | 16:29 | |
*** so-offish <[email protected]> has quit IRC (Ping timeout: 268 seconds) | 16:33 | |
*** emeb_mac <[email protected]> has joined #yosys | 16:48 | |
*** cr1901_ is now known as cr1901 | 17:39 | |
*** krispaul <[email protected]> has quit IRC (Ping timeout: 276 seconds) | 18:12 | |
*** krispaul <[email protected]> has joined #yosys | 18:13 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 18:19 | |
*** krispaul <[email protected]> has quit IRC (Ping timeout: 240 seconds) | 18:20 | |
*** krispaul <[email protected]> has joined #yosys | 18:23 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 264 seconds) | 18:24 | |
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has quit IRC (Ping timeout: 264 seconds) | 18:28 | |
*** krispaul <[email protected]> has quit IRC (Quit: WeeChat 3.5) | 18:34 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys | 18:34 | |
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has quit IRC (Ping timeout: 260 seconds) | 19:16 | |
*** FabM <FabM!~FabM@armadeus/team/FabM> has quit IRC (Ping timeout: 246 seconds) | 20:52 | |
*** bjorkintosh <bjorkintosh!~bjork@user/bjorkintosh> has quit IRC (Quit: Leaving) | 21:09 | |
*** nonchip <[email protected]> has quit IRC (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) | 23:25 | |
*** nonchip <[email protected]> has joined #yosys | 23:25 |
Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!