02:09 <_whitenotifier-5> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://github.com/YoWASP/yosys/compare/0deb1e430719...e1d3566aa024

02:09 <_whitenotifier-5> [YoWASP/yosys] whitequark e1d3566 - Update dependencies.

09:39 <_whitenotifier-5> [amaranth] whitequark commented on issue #704: Detect and reject netlists with combinatorial loops - https://github.com/amaranth-lang/amaranth/issues/704#issuecomment-1296835523

09:41 <_whitenotifier-5> [amaranth] whitequark commented on issue #725: Can I add typehints? - https://github.com/amaranth-lang/amaranth/issues/725#issuecomment-1296838073

13:39 <d1b2> <widlarizer> I tried to install amaranth-boards and amaranth-soc from pip but they are just placeholders, so I'm installing from a manually checked out git repo. Is there something I'm missing?

13:43 <whitequark> no, this is currently what you're expected to do

13:43 <d1b2> <widlarizer> understood

13:44 <d1b2> <widlarizer> oh, or I could just tell pip to install from git repo URL without checking it out manually

13:45 <whitequark> yes

16:41 <mithro> Would love to see some amaranth-lang based designs on https://opensource.googleblog.com/2022/10/announcing-globalfoundries-open-mpw-shuttle-program.html

17:41 <tpw_rules> what is the sort of size of design? it looks like this includes a debug harness and stuff too

17:42 <tpw_rules> oh, maybe that was the zero to asic stuff

17:42 <tpw_rules> where you just get a tiny area

17:42 <tpw_rules> and the tinytapeout

17:44 <KiranShila[m]> <mithro> "Would love to see some amaranth..." <- I may be doing this for some radio astronomy hardware :)

17:48 <mithro> tpw_rules: Should be 10mm2 silicon like SKY130 program

17:48 <mithro> KiranShila[m]: Awesome!

17:48 <tpw_rules> mithro: what else do you get on it? i was looking through the user harness and there's evidently another microprocessor on there

17:49 <KiranShila[m]> There’s all sorts of goodies, logic analyzer, uart, etc

17:49 <mithro> tpw_rules: Exactly like the SKY130 program, there is a RISC-V for debugging and stuff

17:50 <KiranShila[m]> The only issue being they wire all the gpio pins as logic, which kills high frequency perf

18:11 <tpw_rules> there is a lot of broken documentation links in all of this

19:51 <d1b2> <widlarizer> welp, my plan to error on found comb loops (as forbidden in the docs) somewhat fails due to the presence of comb loops in standard library components like ReadPort

19:52 <d1b2> <widlarizer> wait, no, I'm just not handling switches on clock signals correctly

19:52 <whitequark> that entire thing is a cursed workaround

19:53 <whitequark> it... shouldn't exist

19:54 <d1b2> <widlarizer> honestly, I'm having fun here

19:54 <d1b2> <widlarizer> sickos.jpg

20:38 <d1b2> <widlarizer> oh no, bits of a signal can comb depend one on another, so in loop detection every bit needs to be considered separately

20:40 <d1b2> <widlarizer> (an example being .coding.GrayDecoder)

20:43 <mithro> tpw_rules: Please log github issues if you find broken documentation links

20:43 <mithro> Or tweet at https://twitter.com/proppy