05:37 <d1b2> <Nate> how feasible / problematic is using the generated verilog to port modules between amaranth <-> migen / verilog systems? I assume there are no gotchas I should know about?

08:59 <whitequark> the main gotcha is "Verilog" to be honest

13:53 <d1b2> <josuah_dem> For debug, I also use the Yosys intermediate representation file generated by Amaranth (named build/top.il) which is quite verbose, but still allows me to check "what value do I end-up in the end? did Amaranth synthesize that block inside that compile-time python if, ...)

15:33 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531685529

15:40 <key2> Nate: what are you trying to do exactly ?

16:37 <d1b2> <Nate> Like, mismatches between amaranth and the Verilog?

16:38 <d1b2> <Nate> Possibly interface an amaranth block with litex / nmigen

16:48 <_whitenotifier-8> [amaranth] matthuszagh commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531809980

16:48 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531810654

16:49 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531811140

18:08 <_whitenotifier-8> [amaranth] matthuszagh commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531923094

18:10 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531928203

18:16 <_whitenotifier-8> [amaranth] matthuszagh commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531935214

18:17 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531936638

18:23 <_whitenotifier-8> [amaranth] matthuszagh commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531943905

18:24 <_whitenotifier-8> [amaranth] whitequark commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531945287

18:29 <_whitenotifier-8> [amaranth] matthuszagh commented on issue #769: Possible to define operators for aggregate types? - https://github.com/amaranth-lang/amaranth/issues/769#issuecomment-1531952060

18:30 <key2> Nate: that is what I use to do it: https://github.com/lambdaconcept/amaranth-to-litex

18:32 <d1b2> <Nate> cool, looks promising