On: The Amaranth hardware description language

[wd776g5]

But what is it for? It would be impressive if they used this to develop their gravitons but I find that hard to believe. What's the use case?

[duskwuff → wd776g5]

https://glasgow-embedded.org/

Which uses a single Python codebase to implement both the gateware (as Amaranth) and the software which interacts with it.

[mkj → wd776g5]

https://greatscottgadgets.com/cynthion/ is another in-production user of it, a USB protocol analyzer and tool.