Wednesday, 2024-02-07

*** tpb <[email protected]> has joined #yosys00:00
*** notgull <notgull!~notgull@ec2-50-112-148-23.us-west-2.compute.amazonaws.com> has joined #yosys00: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 #yosys01: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 #yosys04:27
*** tokamak <[email protected]> has quit IRC (Quit: ZNC 1.8.2+deb2build5 - https://znc.in)04:51
*** tokamak <[email protected]> has joined #yosys04:52
*** krispaul <[email protected]> has joined #yosys05: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 #yosys07: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 #yosys07:43
*** tmiw_ is now known as tmiw09:54
ZevvI 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.txt10:54
ZevvIf I switch around the two `case` blocks, I end up with 32 more LC's on my ice4010:54
Zevvam I missing something essential here?10:55
tntwell yeah ... in 1.txt the `addr` will always be 0.10:57
tntwhen evaluating the first case.10:57
Zevveum gimme a sec10:57
Zevvoh right that makes me feel pretty stupid10:58
Zevvmy unit tests even fail10:58
Zevvsorry for the noise, thanks!10:59
*** krispaul <[email protected]> has quit IRC (Ping timeout: 272 seconds)11:34
*** krispaul <[email protected]> has joined #yosys11:34
*** lexano <[email protected]> has joined #yosys12: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 #yosys12:51
*** FabM <FabM!~FabM@2a03:d604:103:600:2e60:8c7c:e8fb:7990> has joined #yosys13: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 #yosys14:27
*** _whitelogger <[email protected]> has joined #yosys14:27
*** so-offish <[email protected]> has joined #yosys16:25
*** so-offishul <so-offishul!~so-offish@2610:148:610:2b11::b> has joined #yosys16:29
*** so-offish <[email protected]> has quit IRC (Ping timeout: 268 seconds)16:33
*** emeb_mac <[email protected]> has joined #yosys16:48
*** cr1901_ is now known as cr190117:39
*** krispaul <[email protected]> has quit IRC (Ping timeout: 276 seconds)18:12
*** krispaul <[email protected]> has joined #yosys18:13
*** kristianpaul <kristianpaul!~paul@user/kristianpaul> has joined #yosys18:19
*** krispaul <[email protected]> has quit IRC (Ping timeout: 240 seconds)18:20
*** krispaul <[email protected]> has joined #yosys18: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 #yosys18: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 #yosys23:25

Generated by irclog2html.py 2.17.2 by Marius Gedminas - find it at https://mg.pov.lt/irclog2html/!