00:41 <catlosgay[m]> https://dvcon-proceedings.org/wp-content/uploads/on-verification-coverage-metrics-in-formal-verification-and-speeding-verification-closure-with-ucis-coverage-interoperability-standard.pdf i remembered this paper exists which presents a reasonable overview of coverage, mainly focused on formal but it applies to sim too (although in sim you have more coverage metrics written by verification engineers in the form of cover

00:41 <catlosgay[m]> groups/cover points, which can be reused in formal). formal coverage techniques suffer from one of the general problems formal has, in that it is good at answering yes or no questions (can this signal be toggled) and less good at questions that need more subtle quantified answers (what proportion of the state space sees this signal toggled)

00:42 <catlosgay[m]> although not saying it, this paper is basically just a description of how the coverage app works in jaspergold

00:44 <_whitenotifier-f> [YoWASP/yosys] whitequark pushed 1 commit to develop [+0/-0/±1] https://github.com/YoWASP/yosys/compare/642bd07879f3...141920354998

00:44 <_whitenotifier-f> [YoWASP/yosys] whitequark 1419203 - Update dependencies.

02:52 <tpw_rules> does anyone have pointers to/has made any nice educational resources on amaranth? i'm hoping to introduce it in my uni lab group as an on-ramp to some FPGA work

02:52 <tpw_rules> if not i'll probably share what i make but it's unlikely to be pretty :)

02:55 <tpw_rules> there is some stuff in the documentation, i'll wade through that too

14:03 <mcc111[m]> <tpw_rules> "there is some stuff in the..." <- This page in the docs https://amaranth-lang.org/docs/amaranth/latest/tutorial.html links several resources. But some of them refer to outdated versions/terminology.

14:04 <whitequark[cis]> yeah, that's currently the best we have

14:04 <whitequark[cis]> I've been working on better resources but this got postponed a bit for a variety of reasons

14:04 <whitequark[cis]> we'll get there

14:22 <_whitenotifier-f> [YoWASP/yowasp.github.io] whitequark pushed 2 commits to main [+1/-0/±4] https://github.com/YoWASP/yowasp.github.io/compare/2e1a51e999e4...ec98fae51be0

14:22 <_whitenotifier-f> [YoWASP/yowasp.github.io] whitequark a08e19d - Update Jekyll.

14:22 <_whitenotifier-f> [YoWASP/yowasp.github.io] whitequark ec98fae - Add FOSSi Foundation logo.

16:07 <tpw_rules> totally understandable. i'll try to contribute what i can

17:30 <tpw_rules> so is amaranth pretty standardized on wishbone? has anyone made converters to other buses?

17:30 <whitequark[cis]> nope, -soc is actually generic

17:31 <whitequark[cis]> AXI isn't here yet but it will be

17:32 <tpw_rules> that seems like it might be a bit of a headache?

17:33 <tpw_rules> (also does anyone care about avalon)

17:36 <whitequark[cis]> don't know about avalon

17:36 <whitequark[cis]> tpw_rules: amaranth is in general not very opinionated, but also wishbone is just bad

17:51 <mcc111[m]> sporniket: Successfully got the cradle working! I'm not sure to what extent the HDMI is working tho. Will continue relaying information through your issues page

22:56 <mcc111[m]> Update, successful third-party build and run of the HDMI flasher demo from sporniket 's "Cradle" repo: https://mastodon.social/@mcc/111156530447699355

23:01 <whitequark[cis]> \o/

23:06 <mcc111[m]> My hope is to eventually get a single amaranth repo to the point it can build little "tv game" thingies to any of the Analogue Pocket, a MiSTER, or a standalone FPGA like the colorlight.