diff options
| author | Stephano Cetola <scetola@linuxfoundation.org> | 2021-12-20 21:21:24 -0800 |
|---|---|---|
| committer | Stephano Cetola <scetola@linuxfoundation.org> | 2021-12-20 21:21:24 -0800 |
| commit | bc4a146100003aaecf62dba23a0fc5f2d0683d65 (patch) | |
| tree | 16fbcec22692d7e418e9b264b35bd1661e61f981 /src | |
| parent | aa2e0a618ffc53543089ea7a71d3135ac083fb13 (diff) | |
| download | riscv-isa-manual-bc4a146100003aaecf62dba23a0fc5f2d0683d65.zip riscv-isa-manual-bc4a146100003aaecf62dba23a0fc5f2d0683d65.tar.gz riscv-isa-manual-bc4a146100003aaecf62dba23a0fc5f2d0683d65.tar.bz2 | |
mm-formal: table fixes
These were updated by @elisa-riscv, just adding them back in here.
Signed-off-by: Stephano Cetola <scetola@linuxfoundation.org>
Diffstat (limited to 'src')
| -rw-r--r-- | src/mm-formal.adoc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/mm-formal.adoc b/src/mm-formal.adoc index e717e22..1f8fe72 100644 --- a/src/mm-formal.adoc +++ b/src/mm-formal.adoc @@ -462,14 +462,16 @@ operation) with the release-RCpc or release-RCsc annotation. A model state consists of a shared memory and a tuple of hart states. + +. Model states [cols="^,^,^",] |=== -| |*…* |Hart latexmath:[$n$] +|Hart 0 |*…* |Hart latexmath:[$n$] |latexmath:[$\big\uparrow$] latexmath:[$\big\downarrow$] | |latexmath:[$\big\uparrow$] latexmath:[$\big\downarrow$] -|Shared Memory | | +2+|Shared Memory |=== The shared memory state records all the memory store operations that |