From a86ac83c47deda8d0c2f1deabb5c7e75424c22a4 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 9 Apr 2021 16:17:14 +0100
Subject: Add diagrams

---
 diagrams/load_waveform.json  |    8 +
 diagrams/memory_model.svg    | 1170 ++++++++++++++++++++++++++++++++++++++++++
 diagrams/store_waveform.json |    8 +
 3 files changed, 1186 insertions(+)
 create mode 100644 diagrams/load_waveform.json
 create mode 100644 diagrams/memory_model.svg
 create mode 100644 diagrams/store_waveform.json

(limited to 'diagrams')

diff --git a/diagrams/load_waveform.json b/diagrams/load_waveform.json
new file mode 100644
index 0000000..248c478
--- /dev/null
+++ b/diagrams/load_waveform.json
@@ -0,0 +1,8 @@
+{signal: [
+  {name: 'clk', wave: 'p..', period: 4, phase: 3},
+  {name: 'en', wave: '10.......'},
+  {name: 'ctrl', wave: '1..0.....'},
+  {name: 'addr', wave: 'x2.......', data: ['0']},
+  {name: 'd_out', wave: 'xxx2.....', data: ['0x12345678']},
+  {name: 'x', wave: 'x....2...', data: ['0x12345678']}
+]}
diff --git a/diagrams/memory_model.svg b/diagrams/memory_model.svg
new file mode 100644
index 0000000..d0ff738
--- /dev/null
+++ b/diagrams/memory_model.svg
@@ -0,0 +1,1170 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://creativecommons.org/ns#"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="210mm"
+   height="297mm"
+   viewBox="0 0 210 297"
+   version="1.1"
+   id="svg8"
+   inkscape:version="1.0.2 (e86c8708, 2021-01-15)"
+   sodipodi:docname="memory_model.svg">
+  <defs
+     id="defs2">
+    <marker
+       style="overflow:visible;"
+       id="marker3962"
+       refX="0.0"
+       refY="0.0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(0.6) rotate(180) translate(0,0)"
+         d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
+         style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"
+         id="path3960" />
+    </marker>
+    <marker
+       style="overflow:visible;"
+       id="marker3427"
+       refX="0.0"
+       refY="0.0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true"
+       inkscape:collect="always">
+      <path
+         transform="scale(0.6) rotate(180) translate(0,0)"
+         d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
+         style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"
+         id="path3425" />
+    </marker>
+    <marker
+       style="overflow:visible;"
+       id="Arrow2Mend"
+       refX="0.0"
+       refY="0.0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true"
+       inkscape:collect="always">
+      <path
+         transform="scale(0.6) rotate(180) translate(0,0)"
+         d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
+         style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"
+         id="path868" />
+    </marker>
+    <marker
+       style="overflow:visible;"
+       id="Arrow2Lend"
+       refX="0.0"
+       refY="0.0"
+       orient="auto"
+       inkscape:stockid="Arrow2Lend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(1.1) rotate(180) translate(1,0)"
+         d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z "
+         style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#000000;stroke-opacity:1;fill:#000000;fill-opacity:1"
+         id="path862" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Lend-8"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Lend"
+       inkscape:isstock="true">
+      <path
+         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path862-3" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Lend-2"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Lend"
+       inkscape:isstock="true">
+      <path
+         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path862-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Lend-6"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Lend"
+       inkscape:isstock="true">
+      <path
+         transform="matrix(-1.1,0,0,-1.1,-1.1,0)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path862-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-8"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-7"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-74" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-9"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-1" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-5"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-5" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-98"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-2" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-8-0"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-7-7" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-7-4"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-74-8" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-9-5"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-1-8" />
+    </marker>
+    <marker
+       style="overflow:visible"
+       id="Arrow2Mend-5-3"
+       refX="0"
+       refY="0"
+       orient="auto"
+       inkscape:stockid="Arrow2Mend"
+       inkscape:isstock="true">
+      <path
+         transform="scale(-0.6)"
+         d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z"
+         style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1"
+         id="path868-5-0" />
+    </marker>
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="0.98994949"
+     inkscape:cx="465.13753"
+     inkscape:cy="317.37087"
+     inkscape:document-units="mm"
+     inkscape:current-layer="layer1"
+     inkscape:document-rotation="0"
+     showgrid="false"
+     inkscape:snap-others="false"
+     inkscape:snap-to-guides="false"
+     inkscape:snap-grids="false"
+     inkscape:snap-nodes="false"
+     inkscape:snap-global="false"
+     inkscape:window-width="1920"
+     inkscape:window-height="1035"
+     inkscape:window-x="1080"
+     inkscape:window-y="302"
+     inkscape:window-maximized="0" />
+  <metadata
+     id="metadata5">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+        <dc:title></dc:title>
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     inkscape:groupmode="layer"
+     id="layer2"
+     inkscape:label="Background"
+     style="mix-blend-mode:normal;opacity:1">
+    <rect
+       style="opacity:1;fill:#ff0000;fill-opacity:0.14;stroke:none;stroke-width:0.239655;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+       id="rect7246"
+       width="61.208542"
+       height="80.886909"
+       x="58.798897"
+       y="5.1026788"
+       ry="4.2763124" />
+    <rect
+       style="mix-blend-mode:normal;fill:#008080;fill-opacity:0.14;stroke:none;stroke-width:0.271564;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
+       id="rect7246-0"
+       width="79.115601"
+       height="80.352371"
+       x="121.87833"
+       y="5.1026788"
+       ry="4.2480526" />
+  </g>
+  <g
+     inkscape:label="Layer 1"
+     inkscape:groupmode="layer"
+     id="layer1"
+     style="mix-blend-mode:normal">
+    <g
+       id="g6295"
+       transform="translate(30.418774,6.2179869)">
+      <g
+         id="g3331"
+         transform="translate(26.836309,-14.363095)">
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend)"
+           d="M 38.164265,26.080356 H 50.259502"
+           id="path839" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-8)"
+           d="M 38.164265,35.404408 H 50.259502"
+           id="path839-8" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-7)"
+           d="M 38.164265,30.74238 H 50.259502"
+           id="path839-4" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-9)"
+           d="M 38.164265,44.728458 H 50.259502"
+           id="path839-5" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-5)"
+           d="M 38.164265,40.066427 H 50.259502"
+           id="path839-82" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-98)"
+           d="M 38.164265,49.390481 H 50.259502"
+           id="path839-6" />
+        <path
+           style="fill:none;stroke:#000000;stroke-width:0.265;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#Arrow2Mend-7-4)"
+           d="M 38.164265,54.052507 H 50.259502"
+           id="path839-4-2" />
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="27.633558"
+           id="text2358"><tspan
+             sodipodi:role="line"
+             id="tspan2356"
+             x="34.660416"
+             y="27.633558"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">0</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="40.862682"
+             style="stroke-width:0.264583"
+             id="tspan2360" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="32.295582"
+           id="text2358-8"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5"
+             x="34.660416"
+             y="32.295582"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">1</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="45.524708"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583"
+             id="tspan2596" /><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="58.75383"
+             style="stroke-width:0.264583"
+             id="tspan2360-9" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="36.957611"
+           id="text2358-8-4"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5-3"
+             x="34.660416"
+             y="36.957611"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">2</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="50.186737"
+             style="stroke-width:0.264583"
+             id="tspan2360-9-9" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="41.619629"
+           id="text2358-8-4-0"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5-3-5"
+             x="34.660416"
+             y="41.619629"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">3</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="54.848755"
+             style="stroke-width:0.264583"
+             id="tspan2360-9-9-6" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="46.281662"
+           id="text2358-8-4-0-3"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5-3-5-6"
+             x="34.660416"
+             y="46.281662"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">4</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="59.510788"
+             style="stroke-width:0.264583"
+             id="tspan2360-9-9-6-3" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="50.943684"
+           id="text2358-8-4-0-3-0"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5-3-5-6-8"
+             x="34.660416"
+             y="50.943684"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">5</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="64.172806"
+             style="stroke-width:0.264583"
+             id="tspan2360-9-9-6-3-4" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="34.660416"
+           y="55.605709"
+           id="text2358-8-4-0-3-0-0"><tspan
+             sodipodi:role="line"
+             id="tspan2356-5-3-5-6-8-4"
+             x="34.660416"
+             y="55.605709"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">6</tspan><tspan
+             sodipodi:role="line"
+             x="34.660416"
+             y="68.834831"
+             style="stroke-width:0.264583"
+             id="tspan2360-9-9-6-3-4-6" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="27.650492"
+           id="text2358-5"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7"
+             x="51.719547"
+             y="27.650492"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">12</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="40.879616"
+             style="stroke-width:0.264583"
+             id="tspan2360-2" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="32.312515"
+           id="text2358-5-5"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-6"
+             x="51.719547"
+             y="32.312515"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">34</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="45.541641"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-5" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="36.974545"
+           id="text2358-5-3"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-0"
+             x="51.719547"
+             y="36.974545"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">56</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="50.203671"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-4" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="41.636562"
+           id="text2358-5-8"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-5"
+             x="51.719547"
+             y="41.636562"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">78</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="54.865688"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-55" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="46.298595"
+           id="text2358-5-4"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-2"
+             x="51.719547"
+             y="46.298595"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">90</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="59.527721"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-1" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="55.622643"
+           id="text2358-5-9"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-24"
+             x="51.719547"
+             y="55.622643"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">34</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="68.851768"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-58" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="51.719547"
+           y="50.960617"
+           id="text2358-5-9-6"><tspan
+             sodipodi:role="line"
+             id="tspan2356-7-24-2"
+             x="51.719547"
+             y="50.960617"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">12</tspan><tspan
+             sodipodi:role="line"
+             x="51.719547"
+             y="64.189743"
+             style="stroke-width:0.264583"
+             id="tspan2360-2-58-5" /></text>
+      </g>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="31.069645"
+         y="51.448605"
+         id="text2358-58"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56"
+           x="31.069645"
+           y="51.448605"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">0</tspan><tspan
+           sodipodi:role="line"
+           x="31.069645"
+           y="64.677727"
+           style="stroke-width:0.264583"
+           id="tspan2360-7" /></text>
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.239008px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;marker-end:url(#marker3427)"
+         d="M 36.231257,48.765122 55.544393,28.697168"
+         id="path3417" />
+      <g
+         id="g4962"
+         transform="translate(6.2366068,-6.4255953)">
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="50.285511"
+           id="text2358-58-6"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1"
+             x="64.843781"
+             y="50.285511"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="63.514637"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="51.583565"
+           id="text2358-58-6-5"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1-3"
+             x="64.843781"
+             y="51.583565"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="64.812691"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2-9" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="52.881615"
+           id="text2358-58-6-0"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1-5"
+             x="64.843781"
+             y="52.881615"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="66.110741"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2-5" /></text>
+      </g>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="31.306713"
+         y="56.869419"
+         id="text2358-58-63"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-2"
+           x="31.306713"
+           y="56.869419"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">1</tspan><tspan
+           sodipodi:role="line"
+           x="31.306713"
+           y="70.098541"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-6" /></text>
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.793749, 0.264583;stroke-dashoffset:0;stroke-opacity:1;marker-end:url(#marker3962)"
+         d="M 36.170795,55.580934 54.87966,59.322709"
+         id="path3952" />
+      <g
+         id="g4962-0"
+         transform="translate(6.2366068,7.9686616)">
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="50.285511"
+           id="text2358-58-6-7"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1-57"
+             x="64.843781"
+             y="50.285511"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="63.514637"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2-50" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="51.583565"
+           id="text2358-58-6-5-6"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1-3-4"
+             x="64.843781"
+             y="51.583565"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="64.812691"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2-9-7" /></text>
+        <text
+           xml:space="preserve"
+           style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+           x="64.843781"
+           y="52.881615"
+           id="text2358-58-6-0-8"><tspan
+             sodipodi:role="line"
+             id="tspan2356-56-1-5-4"
+             x="64.843781"
+             y="52.881615"
+             style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">.</tspan><tspan
+             sodipodi:role="line"
+             x="64.843781"
+             y="66.110741"
+             style="stroke-width:0.264583"
+             id="tspan2360-7-2-5-0" /></text>
+      </g>
+    </g>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+       x="68.564903"
+       y="79.732841"
+       id="text2358-58-7-9-8"><tspan
+         sodipodi:role="line"
+         id="tspan2356-56-4-4-66"
+         x="68.564903"
+         y="79.732841"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">x[0] = 0x12345678;</tspan><tspan
+         sodipodi:role="line"
+         x="68.564903"
+         y="92.961967"
+         style="stroke-width:0.264583"
+         id="tspan2360-7-1-9-8" /></text>
+    <g
+       id="g8720"
+       transform="translate(-7.4083298,9.2206329)">
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="142.68814"
+         y="70.666725"
+         id="text2358-58-7-9-8-5"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-4-66-4"
+           x="142.68814"
+           y="70.666725"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">stack[0] &lt;</tspan><tspan
+           sodipodi:role="line"
+           x="142.68814"
+           y="83.895851"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-9-8-8" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="163.8167"
+         y="70.404259"
+         id="text2358-58-7-9-8-5-0"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-4-66-4-0"
+           x="163.8167"
+           y="70.404259"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">= 32'h12345678;</tspan><tspan
+           sodipodi:role="line"
+           x="163.8167"
+           y="83.633385"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-9-8-8-7" /></text>
+    </g>
+    <text
+       xml:space="preserve"
+       style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+       x="61.488419"
+       y="11.89143"
+       id="text2358-58-7-9-8-2"><tspan
+         sodipodi:role="line"
+         id="tspan2356-56-4-4-66-9"
+         x="61.488419"
+         y="11.89143"
+         style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">CompCert Memory Model</tspan><tspan
+         sodipodi:role="line"
+         x="61.488419"
+         y="25.120554"
+         style="stroke-width:0.264583"
+         id="tspan2360-7-1-9-8-80" /></text>
+    <g
+       id="g8712">
+      <rect
+         style="opacity:1;fill:none;stroke:#000000;stroke-width:0.264034;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:0.888563"
+         id="rect5020"
+         width="36.077209"
+         height="39.970215"
+         x="124.87177"
+         y="21.515678" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.277278px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.97832,26.516988 h 35.90774"
+         id="path5066" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.278814px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.69485,31.511588 h 36.09672"
+         id="path5068" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.277278px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.97832,36.506188 h 35.90774"
+         id="path5070" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.278042px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.83337,41.500789 h 36.00866"
+         id="path5072" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.277312px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 125.02236,46.495387 h 35.81967"
+         id="path5074" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.278946px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.92213,51.489988 h 36.02013"
+         id="path5076" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.278946px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.92213,56.484588 h 36.02013"
+         id="path5076-6" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.279676px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.73315,21.52239 h 36.20911"
+         id="path5076-2" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.279677px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 124.73314,61.479186 h 36.20912"
+         id="path5076-2-4" />
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.07629"
+         y="25.557238"
+         id="text2358-58-7"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4"
+           x="126.07629"
+           y="25.557238"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">0: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.07629"
+           y="38.786362"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.04241"
+         y="30.57892"
+         id="text2358-58-7-1"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8"
+           x="126.04241"
+           y="30.57892"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">1: Some 90123400</tspan><tspan
+           sodipodi:role="line"
+           x="126.04241"
+           y="43.808044"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.06358"
+         y="35.600605"
+         id="text2358-58-7-1-6"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7"
+           x="126.06358"
+           y="35.600605"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">2: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.06358"
+           y="48.829731"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.08053"
+         y="40.622288"
+         id="text2358-58-7-1-6-0"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6"
+           x="126.08053"
+           y="40.622288"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">3: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.08053"
+           y="53.851414"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.07629"
+         y="45.643974"
+         id="text2358-58-7-1-6-0-7"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-3"
+           x="126.07629"
+           y="45.643974"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">4: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.07629"
+           y="58.8731"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.06358"
+         y="50.665661"
+         id="text2358-58-7-1-6-0-7-3"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-3-0"
+           x="126.06358"
+           y="50.665661"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">5: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.06358"
+           y="63.894787"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4-4" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="126.05936"
+         y="60.709023"
+         id="text2358-58-7-1-6-0-7-3-7"><tspan
+           sodipodi:role="line"
+           x="126.05936"
+           y="60.709023"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583"
+           id="tspan5676">N: Some 00000000</tspan><tspan
+           sodipodi:role="line"
+           x="126.05936"
+           y="73.938148"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4-4-9" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="142.26413"
+         y="54.426147"
+         id="text5486"><tspan
+           sodipodi:role="line"
+           id="tspan5484"
+           x="142.26413"
+           y="54.426147"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">...</tspan></text>
+      <rect
+         style="opacity:1;fill:none;stroke:#000000;stroke-width:0.251579;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:0.888563"
+         id="rect5020-6"
+         width="32.753937"
+         height="39.970215"
+         x="165.38521"
+         y="21.403284" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.38129,26.404593 h 32.69495"
+         id="path5066-3" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.47579,31.399193 h 32.50596"
+         id="path5068-7" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.38129,36.393793 h 32.69495"
+         id="path5070-9" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="M 165.42533,41.388394 H 198.0322"
+         id="path5072-2" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.264583px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="M 165.42533,46.382992 H 198.0322"
+         id="path5074-0" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.266215px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.3251,51.377593 h 32.80734"
+         id="path5076-4" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.266215px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.3251,56.372193 h 32.80734"
+         id="path5076-6-2" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.266215px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.3251,21.409995 h 32.80734"
+         id="path5076-2-6" />
+      <path
+         style="fill:none;stroke:#000000;stroke-width:0.266215px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+         d="m 165.3251,61.366791 h 32.80734"
+         id="path5076-2-4-9" />
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="167.99115"
+         y="25.444843"
+         id="text2358-58-7-6"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-82"
+           x="167.99115"
+           y="25.444843"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">Some 12345678</tspan><tspan
+           sodipodi:role="line"
+           x="167.99115"
+           y="38.673969"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-6" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="30.466526"
+         id="text2358-58-7-1-7"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-6"
+           x="177.5119"
+           y="30.466526"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="43.695652"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-9" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="35.488213"
+         id="text2358-58-7-1-6-3"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-3"
+           x="177.5119"
+           y="35.488213"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="48.717339"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-6" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="40.509895"
+         id="text2358-58-7-1-6-0-3"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-5"
+           x="177.5119"
+           y="40.509895"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="53.739021"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-5" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="45.531582"
+         id="text2358-58-7-1-6-0-7-9"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-3-1"
+           x="177.5119"
+           y="45.531582"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="58.760708"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4-3" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="50.553268"
+         id="text2358-58-7-1-6-0-7-3-2"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-3-0-4"
+           x="177.5119"
+           y="50.553268"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="63.782394"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4-4-5" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="177.5119"
+         y="60.596626"
+         id="text2358-58-7-1-6-0-7-3-7-6"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-8-7-6-3-0-3-3"
+           x="177.5119"
+           y="60.596626"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">None</tspan><tspan
+           sodipodi:role="line"
+           x="177.5119"
+           y="73.825752"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-4-8-5-4-4-9-0" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="179.4543"
+         y="54.313751"
+         id="text5486-9"><tspan
+           sodipodi:role="line"
+           id="tspan5484-7"
+           x="179.4543"
+           y="54.313751"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:sans-serif;-inkscape-font-specification:'sans-serif, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;stroke-width:0.264583">...</tspan></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="124.48576"
+         y="19.509617"
+         id="text2358-58-7-9"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-4"
+           x="124.48576"
+           y="19.509617"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">Blocking</tspan><tspan
+           sodipodi:role="line"
+           x="124.48576"
+           y="32.738743"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-9" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="165.00542"
+         y="19.509617"
+         id="text2358-58-7-9-4"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-4-6"
+           x="165.00542"
+           y="19.509617"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">Nonblocking</tspan><tspan
+           sodipodi:role="line"
+           x="165.00542"
+           y="32.738743"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-9-7" /></text>
+      <text
+         xml:space="preserve"
+         style="font-style:normal;font-weight:normal;font-size:10.5833px;line-height:1.25;font-family:sans-serif;fill:#000000;fill-opacity:1;stroke:none;stroke-width:0.264583"
+         x="124.44086"
+         y="11.902013"
+         id="text2358-58-7-9-8-2-7"><tspan
+           sodipodi:role="line"
+           id="tspan2356-56-4-4-66-9-1"
+           x="124.44086"
+           y="11.902013"
+           style="font-style:normal;font-variant:normal;font-weight:normal;font-stretch:normal;font-size:4.23333px;font-family:Iosevka;-inkscape-font-specification:'Iosevka, Normal';font-variant-ligatures:normal;font-variant-caps:normal;font-variant-numeric:normal;font-variant-east-asian:normal;word-spacing:0px;stroke-width:0.264583">HTL Memory Representation</tspan><tspan
+           sodipodi:role="line"
+           x="124.44086"
+           y="25.131138"
+           style="stroke-width:0.264583"
+           id="tspan2360-7-1-9-8-80-2" /></text>
+    </g>
+  </g>
+</svg>
diff --git a/diagrams/store_waveform.json b/diagrams/store_waveform.json
new file mode 100644
index 0000000..7475060
--- /dev/null
+++ b/diagrams/store_waveform.json
@@ -0,0 +1,8 @@
+{signal: [
+  {name: 'clk', wave: 'p.', period: 8, phase: 7},
+  {name: 'en', wave: '10.......'},
+  {name: 'ctrl', wave: '1....0...'},
+  {name: 'addr', wave: 'x2.......', data: ['0']},
+  {name: 'd_in', wave: 'x2.......', data: ['0x12345678']},
+  {name: 'stack[addr]', wave: 'x....2...', data: ['0x12345678']}
+]}
-- 
cgit