Architecture Description Languages [pdf] (ics.uci.edu)

This is from the year 2000. Seems like an ADSL could be applicable to spec driven development with LLMs, has anyone gone down this route?

The OrangeC compiler has something like that for supporting different architectures.

Very interesting project.