You mean manufacturers want to avoid legal action when they break their own specs? They already did, the paper contains an example. The point of an architectur

You mean manufacturers want to avoid legal action when they break their own specs? They already did, the paper contains an example. The point of an architecture specification is not to dictate a specific hardware implementation, but to establish a contract between hardware and software. When both parts comply, then the new implementation of a chip will run the old software without problems. A _formal_ specification is just a better contract. Of course it limits future implementation options, but if you want to stay backward compatible, you are limited anyway.