@whitequark okay, this sounds very promising! one day I’ll give it a proper try…
amaranth brings python arithmetic semantics to FPGAs
hm, what do you mean? the biggest part of what comes to mind when i hear “python arithmetic semantics” is “everything’s a bigint”, which… surely not? i mean, you probably could do it with something like abstract interpretation but that doesn’t sound like the level of abstraction? the example on the playground actually does specify that count is 4 bits (which is good! but it means that I don’t understand what you mean here)