diff options
author | Bill Traynor <wmat@riscv.org> | 2023-01-26 14:20:56 -0500 |
---|---|---|
committer | Bill Traynor <wmat@riscv.org> | 2023-01-26 14:20:56 -0500 |
commit | 14dc0b1152ea0b8914d112201b6e027d5d552280 (patch) | |
tree | 840a96d23b165e9b55e869c1108a9ecc8f04874e /src | |
parent | 62dfe4f3ed4916df814096475bfcef12b4bd5cb8 (diff) | |
download | riscv-isa-manual-14dc0b1152ea0b8914d112201b6e027d5d552280.zip riscv-isa-manual-14dc0b1152ea0b8914d112201b6e027d5d552280.tar.gz riscv-isa-manual-14dc0b1152ea0b8914d112201b6e027d5d552280.tar.bz2 |
Replacing graphviz with pngs
Replacing graphviz with pngs
Diffstat (limited to 'src')
-rw-r--r-- | src/mm-eplan.adoc | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/src/mm-eplan.adoc b/src/mm-eplan.adoc index ff3d903..abeb53b 100644 --- a/src/mm-eplan.adoc +++ b/src/mm-eplan.adoc @@ -248,6 +248,7 @@ store buffers, it is possible to arrive at the final outcome a0=1, `a1=0, a2=1, |=== | [%autowidth,float="center",align="center",cols="^,<,^,<",options="header",align="center"] +.A store buffer forwarding litmus test (outcome permitted) !=== 2+^!Hart 0 2+^!Hart 1 2+^!li t1, 1 2+^!li t1, 1 @@ -259,7 +260,8 @@ store buffers, it is possible to arrive at the final outcome a0=1, `a1=0, a2=1, !=== | !=== -a! graphviz::images/graphviz/litmus_sb_fwd.txt[] +//a! graphviz::images/graphviz/litmus_sb_fwd.txt[] +a! image::graphviz/litmus_sb_fwd.png[] !=== |=== @@ -319,6 +321,7 @@ program order. Likewise for (e) and (f). [[litmus_ppoca]] .Key for test that highlights the behavior of store buffers [float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] +.The "PPOCA" store buffer forwarding litmus test (outcome permitted) |=== | [%autowidth,cols="^,<,^,<",options="header",float="center",align="center"] @@ -337,7 +340,8 @@ program order. Likewise for (e) and (f). !=== | !=== -a! graphviz::images/graphviz/litmus_ppoca.txt[] +//a! graphviz::images/graphviz/litmus_ppoca.txt[] +a! image::graphviz/litmus_ppoca.png[] !=== |=== @@ -502,6 +506,7 @@ indirection. .A litmus test MP+fence.w.w+fri-rfi-addr (outcome permitted) [float="center",align="center",cols=".^1a,.^1a",frame="none",grid="none",options="noheader"] +.Litmus test MP+fence.w.w+fre-rfi-addr (outcome permitted) |=== | [%autowidth,cols="^,<,^,<",options="header",float="center",align="center"] @@ -518,7 +523,8 @@ indirection. !=== | !=== -a! graphviz::images/graphviz/litmus_mp_fenceww_fri_rfi_addr.txt[] +//a! graphviz::images/graphviz/litmus_mp_fenceww_fri_rfi_addr.txt[] +a! image::graphviz/litmus_mp_fenceww_fri_rfi_addr.png[] !=== |=== Consider the litmus test of <<frirfi>>, which is one particular |