Organizational improvements for current (20250508) ratified unprivileged ISA spec

[L Peter Deutsch]

Appendix B is titled "Formal Memory Model," but in fact this only applies to sections B.1-B.3: sections B.4-B.13 are example code for various uses of the vector instructions. B.4-B.13 should be moved to a separate Appendix.

A larger improvement I would like to see is that while the current Table of Contents appears to simply have one Chapter per extension (or group of extensions) listed in the Chapter title, it is not consistent in this respect:

* Chapter 17 does not specify an extension or extensions at all.

* Chapters 19, 24, 29, 31, 32, and 33 cover multiple extensions, none of whose names appear in the Chapter title.

I would therefore suggest, as a minimum, the following changes to Chapter titles:

Chapter 12: put the "M" in quotation marks.

Chapter 19: change the title to '"Zicbo*" Extensions for Cache Management"'.

Chapter 24: change the title to '"Zfbf*" and "Zvfbf*" Extensions for BFloat-16 Precision Floating Point"'.

Chapter 29: change the title to '"Zba", "Zbb", "Zbc", "Zbs" Extensions for Bit Manipulation'.

Chapter 31: change the title to '"Zbk*" and "Zk*" Cryptography Extensions'.

Chapter 32: change the title to '"Zvbb", "Zvbc", and "Zvk*" Vector Cryptography Extensions'.

Chapter 33: change the title to '"Zicfilp" and "Zicfiss" Control-flow Integrity Extensions'.

I think it would be an improvement to couple the current Chapters 17 and 18 more closely, perhaps by making 18 a subsection of 17, whose title would be changed to something like "RVWMO Memory Consistency Model and "Ztso" Extension", but that is just my personal opinion.

I know I could in principle submit these changes myself through a pull request, but I'm hoping that if there's no objection to making them, they could be done by someone who is familiar with the details of adoc and the pull / update process, which I'm not.

--

L Peter Deutsch :: Aladdin Enterprises :: Healdsburg, CA & Burnaby, BC