> There was Ada decades ago.
Which then morphed into VHDL on hardware. So, fair point.
I really don't understand why Ada never caught on and I don't understand why it isn't getting a renaissance.
> The word that you use: state is too vague to my taste.
I chose "state" explicitly because it encompasses volatile memory, data persistence (file systems and the like), connections between things, etc.
All of these things have a significant cost when you are designing hardware, memory is often flip flops and highly constrained, data persistence requires a LOT of abstraction to use, connections between things cost time, possibly pins (a limited resource) and possibly an interface specification.
Hardware designers suffer real, genuine pain when a new feature needs to appear--can that fit on the chip, will that affect maximum frequency, did the cost just go up, and only then how long will that take to design and debug.