diff options
| author | elisa <elisa@riscv.org> | 2021-09-10 14:07:18 -0700 |
|---|---|---|
| committer | elisa <elisa@riscv.org> | 2021-09-10 14:07:18 -0700 |
| commit | 64353b3717c9d387759c61d16d3984760a028046 (patch) | |
| tree | 7dc4b3a1aff37dfd38ff921fa21113a64989a5aa /src/test.adoc | |
| parent | e1a563505224b47129b0cbb5c46ee22f5e0acddb (diff) | |
| download | riscv-isa-manual-64353b3717c9d387759c61d16d3984760a028046.zip riscv-isa-manual-64353b3717c9d387759c61d16d3984760a028046.tar.gz riscv-isa-manual-64353b3717c9d387759c61d16d3984760a028046.tar.bz2 | |
adding converted adoc files
Diffstat (limited to 'src/test.adoc')
| -rw-r--r-- | src/test.adoc | 47 |
1 files changed, 47 insertions, 0 deletions
diff --git a/src/test.adoc b/src/test.adoc new file mode 100644 index 0000000..10992eb --- /dev/null +++ b/src/test.adoc @@ -0,0 +1,47 @@ +[appendix] +== Test + + +//include::images/graphviz/litmus_sample.dot[] +//[[litmus-sample]] +//.A sample litmus test and one forbidden execution (a0=1). +//image::image_placeholder.png[] + + +[graphviz,test-diagram,svg] +.... +digraph G { + +splines=spline; +pad="0.000000"; + + +/* the unlocked events */ +eiid0 [label="a: Ry=1", shape="none", fontsize=8, pos="1.000000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"]; +eiid1 [label="c: Wx=t", shape="none", fontsize=8, pos="1.000000,0.562500!", fixedsize="false", height="0.111111", width="0.555556"]; +eiid2 [label="d: Rx=t", shape="none", fontsize=8, pos="2.500000,1.125000!", fixedsize="false", height="0.111111", width="0.555556"]; +eiid3 [label="e: Rt=$v$", shape="none", fontsize=8, pos="2.500000,0.562500!", fixedsize="false", height="0.111111", width="0.555556"]; +eiid4 [label="f: Wy=1", shape="none", fontsize=8, pos="2.500000,0.000000!", fixedsize="false", height="0.111111", width="0.555556"]; + +/* the intra_causality_data edges */ + + +/* the intra_causality_control edges */ + +/* the poi edges */ +/* the rfmap edges */ + + +/* The viewed-before edges */ +eiid0 -> eiid1 [label=<<font color="darkgreen">fence</font><font color="indigo">ppo</font>>, color="darkgreen:indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +eiid1 -> eiid2 [label=<<font color="red">rf</font>>, color="red", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +eiid2 -> eiid3 [label=<<font color="indigo">addr</font><font color="indigo">ppo</font>>, color="indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +eiid2 -> eiid4 [label=<<font color="indigo">ppo</font>>, color="indigo", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +eiid3 -> eiid4 [label=<<font color="black">po</font>>, color="black", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +eiid4 -> eiid0 [label=<<font color="red">rf</font>>, color="red", fontsize=11, penwidth="3.000000", arrowsize="0.666700"]; +} +.... + + +para + |