diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-04-09 16:17:14 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-04-09 16:18:24 +0100 |
commit | a86ac83c47deda8d0c2f1deabb5c7e75424c22a4 (patch) | |
tree | 2cf473e4cae4b5d9830e9caac7b84ec962614dd9 /diagrams | |
parent | b063d29c180e6f0ec0597a0bcbac0ce40f092df0 (diff) | |
download | oopsla21_fvhls-a86ac83c47deda8d0c2f1deabb5c7e75424c22a4.tar.gz oopsla21_fvhls-a86ac83c47deda8d0c2f1deabb5c7e75424c22a4.zip |
Add diagrams
Diffstat (limited to 'diagrams')
-rw-r--r-- | diagrams/load_waveform.json | 8 | ||||
-rw-r--r-- | diagrams/memory_model.svg | 1170 | ||||
-rw-r--r-- | diagrams/store_waveform.json | 8 |
3 files changed, 1186 insertions, 0 deletions
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] <</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']} +]} |