Release 0.9.2-RC3

Change log:

1. Clarify the error types triggered by non-priority rules.
2. Support the feature of faulting stalled transaction
3. Clarify register definition: default value and operation types
4. Log the error due to MSI write failure
5. Fix typos and inconsistencies

The attached PDF file has fixed hyperlinks, which were mismatched in Source Code.

Release 0.9.2-RC2

Change log:

1. add MSI support in Appendix 4
2. add more figures for models
3. redraw figures 1 and 2
4. refine descriptions
5. fix typos

Release 0.9.2-RC1

v0.9.2-RC1

update figure 2

Release 0.9.1

v0.9.1

Accidentally removed chapter 3.3 other models in v0.9.0, add back.

Release 0.9.0

Delta with 1.0.0-draft6:

1. update version to 0.9.0, following ratification policy.
2. re-organize the chapters.
3. update register ERR_REQINFO.ip to ERR_REQINFO.v
4. other updates based on feedbacks