#amaranth-lang on 2024-10-25 — irc logs at libera.irclog.whitequark.org

2024-02-21 07:31 whitequark[cis] changed the topic of #amaranth-lang to: Amaranth hardware definition language · weekly meetings: Amaranth each Mon 1700 UTC, Amaranth SoC each Fri 1700 UTC · play https://amaranth-lang.org/play/ · code https://github.com/amaranth-lang · logs https://libera.irclog.whitequark.org/amaranth-lang · Matrix #amaranth-lang:matrix.org

00:05 __DuBPiRaTe__ has joined #amaranth-lang

02:43 Degi has quit [Ping timeout: 252 seconds]

03:11 __DuBPiRaTe__ has quit [Quit: Leaving]

03:58 frgo_ has joined #amaranth-lang

03:58 frgo has quit [Read error: Connection reset by peer]

04:42 cr1901_ has joined #amaranth-lang

04:42 jjsuperpower_ has joined #amaranth-lang

04:42 jjsuperpower has quit [Remote host closed the connection]

04:42 cr1901 has quit [Read error: Connection reset by peer]

04:43 adamse has quit [Ping timeout: 248 seconds]

04:46 adamse has joined #amaranth-lang

06:34 indy_ has joined #amaranth-lang

07:40 frgo has joined #amaranth-lang

07:42 frgo has quit [Read error: Connection reset by peer]

07:43 frgo_ has quit [Ping timeout: 248 seconds]

09:41 frgo has joined #amaranth-lang

09:46 frgo has quit [Ping timeout: 252 seconds]

09:57 frgo has joined #amaranth-lang

10:02 frgo has quit [Ping timeout: 252 seconds]

10:13 frgo has joined #amaranth-lang

10:17 frgo has quit [Ping timeout: 255 seconds]

10:29 Stary has quit [Quit: ZNC - http://znc.in]

10:34 Stary has joined #amaranth-lang

10:40 frgo has joined #amaranth-lang

10:44 frgo has quit [Ping timeout: 248 seconds]

10:56 frgo has joined #amaranth-lang

11:00 frgo has quit [Ping timeout: 252 seconds]

11:11 frgo has joined #amaranth-lang

11:17 frgo has quit [Ping timeout: 272 seconds]

11:41 frgo has joined #amaranth-lang

11:45 frgo has quit [Ping timeout: 245 seconds]

11:57 frgo has joined #amaranth-lang

12:00 frgo has quit [Remote host closed the connection]

12:00 frgo has joined #amaranth-lang

12:00 frgo has quit [Remote host closed the connection]

12:00 frgo has joined #amaranth-lang

12:48 jorolf[m] has quit [Quit: Idle timeout reached: 172800s]

13:01 meinhard[m] has joined #amaranth-lang

13:01 <meinhard[m]> Hi, how can I assert the reset of a Domain in simulation?... (full message at <https://catircservices.org/_irc/v1/media/download/Ab0Gd6VMcL6bPb3_pDSdMBitRfvU9C79Ni7VhSpJiY9jTCJYTWY38bUXbCVqkK_ONsSU6vQ57nmRoSpI6tcmxCFCeSw_seTwAGNhdGlyY3NlcnZpY2VzLm9yZy9tT3hnQ25PVk1aa01pYkpUcGRGZVlKU0Q>)

13:01 <meinhard[m]> s/``/```/

14:02 <whitequark[cis]> try ctx.set(ResetSignal(), 1). if that doesn't work (I don't recall if we implemented it but I think we did?) you'll have to assign a Signal() to ResetSignal() outside of the testbench

14:13 <meinhard[m]> Thanks for your fast reply.... (full message at <https://catircservices.org/_irc/v1/media/download/Ae8u2y1uRQrJ2OLgiFqR3ItaQXbAabYT6ccH7Od1dR9ysNjxIpCO9nQaqUdrNb2YSNPfrTtsUP28X6Bv6U_1TGRCeSxD2glwAGNhdGlyY3NlcnZpY2VzLm9yZy9WVlZWaEh1b2lIRXdPRmxWQlNsS3RzY0M>)

14:15 <whitequark[cis]> it should be ResetSignal().eq(r)

14:15 <whitequark[cis]> (and, of course, you need to be using Simulator(m) in this case)

14:17 <meinhard[m]> hmm, does that mean, I need a wrapper around my DUT? Otherwise I'm not sure how can I assign `ResetSignal()` to `r` if it should not be in the DUT.

14:18 <whitequark[cis]> yes, you need to add the DUT as a submodule to m

14:18 <meinhard[m]> great, thanks for clarification.

16:48 galibert[m] has quit [Quit: Idle timeout reached: 172800s]

19:41 frgo_ has joined #amaranth-lang

19:41 frgo_ has quit [Remote host closed the connection]

19:41 frgo_ has joined #amaranth-lang

19:42 frgo_ has quit [Read error: Connection reset by peer]

19:42 frgo__ has joined #amaranth-lang

19:43 frgo has quit [Ping timeout: 248 seconds]

19:48 frgo has joined #amaranth-lang

19:48 frgo__ has quit [Read error: Connection reset by peer]

20:02 frgo_ has joined #amaranth-lang

20:02 frgo has quit [Read error: Connection reset by peer]

20:04 frgo_ has quit [Read error: Connection reset by peer]

20:05 frgo has joined #amaranth-lang

20:22 EndlessKnot[m] has quit [Quit: Idle timeout reached: 172800s]

20:36 lambda has quit [Quit: WeeChat 4.4.1]

20:39 lambda has joined #amaranth-lang

20:55 frgo has quit [Remote host closed the connection]

21:10 frgo has joined #amaranth-lang

21:11 frgo has quit [Remote host closed the connection]

21:11 frgo has joined #amaranth-lang

21:11 frgo has quit [Read error: Connection reset by peer]

21:12 frgo has joined #amaranth-lang

21:14 frgo_ has joined #amaranth-lang

21:14 frgo has quit [Read error: Connection reset by peer]

21:14 frgo_ has quit [Read error: Connection reset by peer]

21:15 frgo has joined #amaranth-lang

21:18 frgo has quit [Read error: Connection reset by peer]

21:18 frgo has joined #amaranth-lang

21:18 frgo has quit [Read error: Connection reset by peer]

21:19 frgo has joined #amaranth-lang

21:23 frgo has quit [Read error: Connection reset by peer]

21:23 frgo has joined #amaranth-lang

21:24 frgo has quit [Read error: Connection reset by peer]

21:24 frgo_ has joined #amaranth-lang

21:25 frgo_ has quit [Read error: Connection reset by peer]

21:25 frgo has joined #amaranth-lang

21:29 frgo_ has joined #amaranth-lang

21:29 frgo has quit [Read error: Connection reset by peer]

21:32 frgo has joined #amaranth-lang

21:32 frgo_ has quit [Read error: Connection reset by peer]

21:33 frgo_ has joined #amaranth-lang

21:33 frgo has quit [Read error: Connection reset by peer]

21:54 frgo_ has quit [Remote host closed the connection]

23:30 frgo has joined #amaranth-lang

23:35 frgo has quit [Ping timeout: 252 seconds]