#nmigen on 2021-07-19 — irc logs at libera.irclog.whitequark.org

2021-05-19 21:39 whitequark changed the topic of #nmigen to: nMigen hardware description language · code https://github.com/nmigen · logs https://libera.irclog.whitequark.org/nmigen

00:03 lf has quit [Ping timeout: 255 seconds]

00:03 lf has joined #nmigen

00:08 pftbest has quit [Remote host closed the connection]

00:16 <_whitenotifier-a> [YoWASP/nextpnr] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JW5O9

00:16 <_whitenotifier-a> [YoWASP/nextpnr] whitequark 1ef18b7 - Update dependencies.

00:54 <_whitenotifier-a> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JW5Ci

00:54 <_whitenotifier-a> [YoWASP/yosys] whitequark 99a5119 - Update dependencies.

01:43 Degi_ has joined #nmigen

01:45 Degi has quit [Ping timeout: 255 seconds]

01:45 Degi_ is now known as Degi

06:41 pftbest has joined #nmigen

07:32 yuriks_ is now known as yuriks

08:47 bvernoux has joined #nmigen

09:03 d1b2 has quit [Remote host closed the connection]

09:04 d1b2 has joined #nmigen

09:16 someone--else has joined #nmigen

10:55 jamwaffles[m] has joined #nmigen

11:51 whitequark has quit [Quit: Bridge terminating on SIGTERM]

11:51 emilazy has quit [Quit: Bridge terminating on SIGTERM]

11:51 psydroid has quit [Quit: Bridge terminating on SIGTERM]

11:51 Chips4Makers[m] has quit [Quit: Bridge terminating on SIGTERM]

11:51 cesar has quit [Quit: Bridge terminating on SIGTERM]

11:51 jfng[m] has quit [Quit: Bridge terminating on SIGTERM]

11:51 jamwaffles[m] has quit [Quit: Bridge terminating on SIGTERM]

11:53 emilazy has joined #nmigen

11:54 Chips4Makers[m] has joined #nmigen

11:54 psydroid has joined #nmigen

11:54 whitequark has joined #nmigen

11:55 cesar has joined #nmigen

11:55 jamwaffles[m] has joined #nmigen

11:55 jfng[m] has joined #nmigen

12:31 someone--else has quit [Ping timeout: 252 seconds]

15:35 sakirious has quit [Quit: The Lounge - https://thelounge.chat]

15:48 someone--else has joined #nmigen

16:50 Yehowshua has joined #nmigen

16:53 <Yehowshua> I've a bit of an obscure question concerning arithmetic rules in nmigen.

16:54 <Yehowshua> a = Signal(signed(1)); b = Signal(1); (a + b).shape(); >>> signed(3)

16:54 <Yehowshua> the range of (a+b) is [-1,0,1], which you only need 2 bits to represent, not 3

16:55 <Yehowshua> (a+b).shape() gives 3 however

16:57 <whitequark> yeah, the code currently handling that is overapproximating

16:57 <whitequark> i'm not sure if i would classify this is a bug

16:57 <whitequark> it's definitely underspecified

17:00 <Yehowshua> yeah - probably not a bug

17:00 <Yehowshua> just an edge case I noticed

17:02 <Yehowshua> also, why to "gowin" suffix for yowasp?

17:02 <Yehowshua> **the

17:05 <_whitenotifier-a> [YoWASP/nextpnr] whitequark pushed 1 commit to develop [+0/-0/±1] https://git.io/JWN0F

17:05 <_whitenotifier-a> [YoWASP/nextpnr] whitequark 9f5589f - [skip ci] Fix syntax in README.

17:05 <whitequark> Yehowshua: that's how the upstream tool is called: https://github.com/YosysHQ/nextpnr/#nextpnr-gowin

17:08 Yehowshua has quit [Ping timeout: 246 seconds]

17:19 someone--else has quit [Quit: Connection closed]

17:23 Yehowshua has joined #nmigen

17:23 Yehowshua has quit [Remote host closed the connection]

17:35 oter has joined #nmigen

17:44 oter has quit [Quit: Textual IRC Client: www.textualapp.com]

18:19 someone--else has joined #nmigen

20:37 pftbest has quit [Remote host closed the connection]

20:48 pftbest has joined #nmigen

20:50 pftbest has quit [Remote host closed the connection]

20:50 pftbest has joined #nmigen

22:29 bvernoux has quit [Read error: Connection reset by peer]

23:58 someone--else has quit [Quit: Connection closed]