01:38 <KiranShila[m]> Hey everyone! I'm getting started with amaranth and am trying to use a SyncFIFOBuffered in my design, but am a little lost on how to incorporate "standard library" blocks in an elaboratable design. Are there any examples I can check out to see how to do this?

01:54 <tpw_rules> what do you mean? you simply import them from the library, e.g. `from nmigen.lib.fifo import SyncFIFOBuffered` then use them as you would any other amaranth module

01:55 <tpw_rules> i copied that from an old example, that should probably be amaranth.lib.fifo :)

01:55 <tpw_rules> yes, that's documented here https://amaranth-lang.org/docs/amaranth/latest/stdlib/fifo.html

01:59 <KiranShila[m]> How does one use a module?

02:00 <tpw_rules> https://github.com/RobertBaruch/amaranth-tutorial/blob/main/3_modules.md

02:00 <d1b2> <dragonmux> the basic pattern is: python m.submodules.name = name = SomeElaboratable() # <do stuff with name>

02:01 <tpw_rules> yes, if you've already got elaboratable modules down that's the gist

02:01 <KiranShila[m]> Ah, interesting. I didn't see anything about submodules in the docs other than their existence

02:01 <tpw_rules> except instead of SomeElaboratable you use SyncFIFOBuffered of course

02:01 <KiranShila[m]> Thanks for the link!

03:35 <KiranShila[m]> Is there a way to get the verilog output to split each module into it's own file?

10:42 <whitequark> not currently

17:52 <_whitenotifier-2> [amaranth] ekliptik commented on issue #704: Detect and reject netlists with combinatorial loops - https://github.com/amaranth-lang/amaranth/issues/704#issuecomment-1295917708

21:06 <_whitenotifier-2> [amaranth] whitequark commented on issue #704: Detect and reject netlists with combinatorial loops - https://github.com/amaranth-lang/amaranth/issues/704#issuecomment-1295975213

21:06 <whitequark> tbh, I'm thinking about rewriting the Verilog backend in pure Python

21:06 <whitequark> the Yosys integration seemed like a good idea and I made it work, but I'm no longer sure it's a good idea after all

21:07 <whitequark> the main issues are performance, and multiple file output, which is very difficult with Yosys no matter what