Skip to content

Instantly share code, notes, and snippets.

@kenwebb
Last active August 29, 2015 13:59
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Save kenwebb/10531009 to your computer and use it in GitHub Desktop.
SICP - A Simulator for Digital Circuits - N-Bit Adder
/*
Automatically generated by Xholon version 0.8.1, using org.primordion.ef.petrinet.Xholon2Graphviz4PetriNets.java
Sun Apr 13 10:00:32 GMT-400 2014 1397397632461
model: SICP - A Simulator for Digital Circuits - N-Bit Adder
www.primordion.com/Xholon
To view this file, use Graphviz dot|fdp|neato|twopi|circo|sfdp from http://www.graphviz.org/
For example, to generate an SVG file:
dot -Tsvg -O DigitalSystem_33_1397397632461.gv
Alternatively try one of these:
dot -Tsvg -O DigitalSystem_33_1397397632461.gv
dot -Tsvg -O -Grankdir=LR DigitalSystem_33_1397397632461.gv
fdp -Tsvg -O DigitalSystem_33_1397397632461.gv
neato -Tsvg -O DigitalSystem_33_1397397632461.gv
circo -Tsvg -O DigitalSystem_33_1397397632461.gv
Or use one of: -Tgif -Tjpg -Tpdf -Tpng -Txdot -Txlib
See also: http://hughesbennett.net/Graphviz
See also: http://graphviz-dev.appspot.com/
See also: http://www.webgraphviz.com/
See also: http://rise4fun.com/agl/
*/
digraph 33 { label="DigitalSystem"
node [style=filled,fillcolor="#f0f8ff"]
subgraph cluster34 { label="a"
35 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
36 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
37 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
38 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster39 { label="b"
40 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
41 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
42 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
43 [label="Wire\n⬤"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster44 { label="s"
45 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
46 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
47 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
48 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
49 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster50 { label="c"
51 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
52 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
53 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
54 [label="Wire"]
[fillcolor="#ffff00"]
[shape=ellipse]
}
subgraph cluster55 { label="FullAdder"
56 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
57 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
58 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster59 { label="HalfAdder"
60 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
61 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
62 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
62 -> 60;
68 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
74 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
60 -> 74;
61 -> 74;
80 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
80 -> 61;
}
subgraph cluster85 { label="HalfAdder"
86 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
87 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
88 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
88 -> 86;
94 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
100 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
86 -> 100;
87 -> 100;
106 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
106 -> 87;
}
111 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
57 -> 111;
58 -> 111;
68 -> 58; 74 -> 56; 58 -> 80; 56 -> 88; 56 -> 94; 94 -> 57; 57 -> 106;
}
subgraph cluster117 { label="FullAdder"
118 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
119 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
120 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster121 { label="HalfAdder"
122 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
123 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
124 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
124 -> 122;
130 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
136 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
122 -> 136;
123 -> 136;
142 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
142 -> 123;
}
subgraph cluster147 { label="HalfAdder"
148 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
149 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
150 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
150 -> 148;
156 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
162 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
148 -> 162;
149 -> 162;
168 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
168 -> 149;
}
173 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
119 -> 173;
120 -> 173;
130 -> 120; 136 -> 118; 120 -> 142; 118 -> 150; 118 -> 156; 156 -> 119; 119 -> 168;
}
subgraph cluster179 { label="FullAdder"
180 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
181 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
182 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster183 { label="HalfAdder"
184 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
185 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
186 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
186 -> 184;
192 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
198 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
184 -> 198;
185 -> 198;
204 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
204 -> 185;
}
subgraph cluster209 { label="HalfAdder"
210 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
211 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
212 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
212 -> 210;
218 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
224 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
210 -> 224;
211 -> 224;
230 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
230 -> 211;
}
235 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
181 -> 235;
182 -> 235;
192 -> 182; 198 -> 180; 182 -> 204; 180 -> 212; 180 -> 218; 218 -> 181; 181 -> 230;
}
subgraph cluster241 { label="FullAdder"
242 [label="q"]
[fillcolor="#ffff00"]
[shape=ellipse]
243 [label="kq"]
[fillcolor="#ffff00"]
[shape=ellipse]
244 [label="ab"]
[fillcolor="#ffff00"]
[shape=ellipse]
subgraph cluster245 { label="HalfAdder"
246 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
247 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
248 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
248 -> 246;
254 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
260 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
246 -> 260;
247 -> 260;
266 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
266 -> 247;
}
subgraph cluster271 { label="HalfAdder"
272 [label="d"]
[fillcolor="#ffff00"]
[shape=ellipse]
273 [label="e"]
[fillcolor="#ffff00"]
[shape=ellipse]
274 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
274 -> 272;
280 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
286 [label="AndGate"]
[fillcolor="#00ffff"]
[shape=box]
272 -> 286;
273 -> 286;
292 [label="Inverter"]
[fillcolor="#00ffff"]
[shape=box]
292 -> 273;
}
297 [label="OrGate"]
[fillcolor="#00ffff"]
[shape=box]
243 -> 297;
244 -> 297;
254 -> 244; 260 -> 242; 244 -> 266; 242 -> 274; 242 -> 280; 280 -> 243; 243 -> 292;
}
35 -> 62; 40 -> 62; 35 -> 68; 40 -> 68; 51 -> 88; 51 -> 94; 100 -> 45; 111 -> 52; 36 -> 124; 41 -> 124; 36 -> 130; 41 -> 130; 52 -> 150; 52 -> 156; 162 -> 46; 173 -> 53; 37 -> 186; 42 -> 186; 37 -> 192; 42 -> 192; 53 -> 212; 53 -> 218; 224 -> 47; 235 -> 54; 38 -> 248; 43 -> 248; 38 -> 254; 43 -> 254; 54 -> 274; 54 -> 280; 286 -> 48; 297 -> 49;
}
Display the source blob
Display the rendered blob
Raw
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
<!-- Generated by graphviz version 2.26.3 (20100126.1600)
-->
<!-- Title: 33 Pages: 1 -->
<svg width="1854pt" height="836pt"
viewBox="0.00 0.00 1854.00 836.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph1" class="graph" transform="scale(1 1) rotate(0) translate(4 832)">
<title>33</title>
<polygon fill="white" stroke="white" points="-4,5 -4,-832 1851,-832 1851,5 -4,5"/>
<text text-anchor="middle" x="923" y="-9.4" font-family="Times Roman,serif" font-size="14.00">DigitalSystem</text>
<g id="graph2" class="cluster"><title>cluster34</title>
<polygon fill="none" stroke="black" points="514,-716 514,-820 864,-820 864,-716 514,-716"/>
<text text-anchor="middle" x="689" y="-803.4" font-family="Times Roman,serif" font-size="14.00">a</text>
</g>
<g id="graph3" class="cluster"><title>cluster39</title>
<polygon fill="none" stroke="black" points="915,-716 915,-820 1265,-820 1265,-716 915,-716"/>
<text text-anchor="middle" x="1090" y="-803.4" font-family="Times Roman,serif" font-size="14.00">b</text>
</g>
<g id="graph4" class="cluster"><title>cluster44</title>
<polygon fill="none" stroke="black" points="1003,-34 1003,-114 1441,-114 1441,-34 1003,-34"/>
<text text-anchor="middle" x="1222" y="-97.4" font-family="Times Roman,serif" font-size="14.00">s</text>
</g>
<g id="graph5" class="cluster"><title>cluster50</title>
<polygon fill="none" stroke="black" points="748,-362 748,-442 1098,-442 1098,-362 748,-362"/>
<text text-anchor="middle" x="923" y="-425.4" font-family="Times Roman,serif" font-size="14.00">c</text>
</g>
<g id="graph6" class="cluster"><title>cluster55</title>
<polygon fill="none" stroke="black" points="8,-122 8,-708 370,-708 370,-122 8,-122"/>
<text text-anchor="middle" x="189" y="-691.4" font-family="Times Roman,serif" font-size="14.00">FullAdder</text>
</g>
<g id="graph7" class="cluster"><title>cluster59</title>
<polygon fill="none" stroke="black" points="32,-450 32,-674 300,-674 300,-450 32,-450"/>
<text text-anchor="middle" x="166" y="-657.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph8" class="cluster"><title>cluster85</title>
<polygon fill="none" stroke="black" points="16,-130 16,-354 284,-354 284,-130 16,-130"/>
<text text-anchor="middle" x="150" y="-337.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph9" class="cluster"><title>cluster117</title>
<polygon fill="none" stroke="black" points="378,-122 378,-708 740,-708 740,-122 378,-122"/>
<text text-anchor="middle" x="559" y="-691.4" font-family="Times Roman,serif" font-size="14.00">FullAdder</text>
</g>
<g id="graph10" class="cluster"><title>cluster121</title>
<polygon fill="none" stroke="black" points="402,-450 402,-674 670,-674 670,-450 402,-450"/>
<text text-anchor="middle" x="536" y="-657.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph11" class="cluster"><title>cluster147</title>
<polygon fill="none" stroke="black" points="386,-130 386,-354 654,-354 654,-130 386,-130"/>
<text text-anchor="middle" x="520" y="-337.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph12" class="cluster"><title>cluster179</title>
<polygon fill="none" stroke="black" points="1106,-122 1106,-708 1468,-708 1468,-122 1106,-122"/>
<text text-anchor="middle" x="1287" y="-691.4" font-family="Times Roman,serif" font-size="14.00">FullAdder</text>
</g>
<g id="graph13" class="cluster"><title>cluster183</title>
<polygon fill="none" stroke="black" points="1114,-450 1114,-674 1382,-674 1382,-450 1114,-450"/>
<text text-anchor="middle" x="1248" y="-657.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph14" class="cluster"><title>cluster209</title>
<polygon fill="none" stroke="black" points="1114,-130 1114,-354 1382,-354 1382,-130 1114,-130"/>
<text text-anchor="middle" x="1248" y="-337.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph15" class="cluster"><title>cluster241</title>
<polygon fill="none" stroke="black" points="1476,-122 1476,-708 1838,-708 1838,-122 1476,-122"/>
<text text-anchor="middle" x="1657" y="-691.4" font-family="Times Roman,serif" font-size="14.00">FullAdder</text>
</g>
<g id="graph16" class="cluster"><title>cluster245</title>
<polygon fill="none" stroke="black" points="1546,-450 1546,-674 1814,-674 1814,-450 1546,-450"/>
<text text-anchor="middle" x="1680" y="-657.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<g id="graph17" class="cluster"><title>cluster271</title>
<polygon fill="none" stroke="black" points="1562,-130 1562,-354 1830,-354 1830,-130 1562,-130"/>
<text text-anchor="middle" x="1696" y="-337.4" font-family="Times Roman,serif" font-size="14.00">HalfAdder</text>
</g>
<!-- 35 -->
<g id="node2" class="node"><title>35</title>
<ellipse fill="#ffff00" stroke="black" cx="557" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="557" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="557" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 62 -->
<g id="node29" class="node"><title>62</title>
<polygon fill="#00ffff" stroke="black" points="108,-640 40,-640 40,-604 108,-604 108,-640"/>
<text text-anchor="middle" x="74" y="-618.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 35&#45;&gt;62 -->
<g id="edge154" class="edge"><title>35&#45;&gt;62</title>
<path fill="none" stroke="black" d="M521.994,-753.182C423.681,-747.812 150.054,-730.944 117,-708 97.4986,-694.463 86.3942,-669.427 80.3756,-649.845"/>
<polygon fill="black" stroke="black" points="83.7397,-648.879 77.6742,-640.192 76.9986,-650.765 83.7397,-648.879"/>
</g>
<!-- 68 -->
<g id="node31" class="node"><title>68</title>
<polygon fill="#00ffff" stroke="black" points="292,-640 216,-640 216,-604 292,-604 292,-640"/>
<text text-anchor="middle" x="254" y="-618.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 35&#45;&gt;68 -->
<g id="edge158" class="edge"><title>35&#45;&gt;68</title>
<path fill="none" stroke="black" d="M522.94,-747.56C490.139,-739.789 439.526,-726.192 398,-708 358.48,-690.687 316.467,-664.605 288.087,-645.705"/>
<polygon fill="black" stroke="black" points="289.986,-642.764 279.734,-640.087 286.079,-648.573 289.986,-642.764"/>
</g>
<!-- 36 -->
<g id="node3" class="node"><title>36</title>
<ellipse fill="#ffff00" stroke="black" cx="645" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="645" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="645" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 124 -->
<g id="node65" class="node"><title>124</title>
<polygon fill="#00ffff" stroke="black" points="478,-640 410,-640 410,-604 478,-604 478,-640"/>
<text text-anchor="middle" x="444" y="-618.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 36&#45;&gt;124 -->
<g id="edge170" class="edge"><title>36&#45;&gt;124</title>
<path fill="none" stroke="black" d="M622.809,-730.338C616.36,-724.661 608.905,-719.32 601,-716 577.586,-706.166 508.122,-722.1 487,-708 467.256,-694.82 456.178,-669.744 450.232,-650.057"/>
<polygon fill="black" stroke="black" points="453.589,-649.064 447.571,-640.344 446.837,-650.913 453.589,-649.064"/>
</g>
<!-- 130 -->
<g id="node67" class="node"><title>130</title>
<polygon fill="#00ffff" stroke="black" points="662,-640 586,-640 586,-604 662,-604 662,-640"/>
<text text-anchor="middle" x="624" y="-618.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 36&#45;&gt;130 -->
<g id="edge174" class="edge"><title>36&#45;&gt;130</title>
<path fill="none" stroke="black" d="M640.129,-724.153C636.589,-701.731 631.837,-671.632 628.408,-649.92"/>
<polygon fill="black" stroke="black" points="631.86,-649.338 626.843,-640.006 624.946,-650.43 631.86,-649.338"/>
</g>
<!-- 37 -->
<g id="node4" class="node"><title>37</title>
<ellipse fill="#ffff00" stroke="black" cx="733" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="733" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="733" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 186 -->
<g id="node101" class="node"><title>186</title>
<polygon fill="#00ffff" stroke="black" points="1190,-640 1122,-640 1122,-604 1190,-604 1190,-640"/>
<text text-anchor="middle" x="1156" y="-618.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 37&#45;&gt;186 -->
<g id="edge186" class="edge"><title>37&#45;&gt;186</title>
<path fill="none" stroke="black" d="M755.62,-731.246C762.065,-725.562 769.411,-719.991 777,-716 888.659,-657.276 1038.26,-634.256 1111.63,-626.063"/>
<polygon fill="black" stroke="black" points="1112.32,-629.509 1121.89,-624.959 1111.58,-622.549 1112.32,-629.509"/>
</g>
<!-- 192 -->
<g id="node103" class="node"><title>192</title>
<polygon fill="#00ffff" stroke="black" points="1374,-640 1298,-640 1298,-604 1374,-604 1374,-640"/>
<text text-anchor="middle" x="1336" y="-618.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 37&#45;&gt;192 -->
<g id="edge190" class="edge"><title>37&#45;&gt;192</title>
<path fill="none" stroke="black" d="M754.614,-730.451C761.166,-724.622 768.817,-719.178 777,-716 803.518,-705.701 1264.65,-722.702 1289,-708 1309.93,-695.362 1322.18,-669.809 1328.89,-649.826"/>
<polygon fill="black" stroke="black" points="1332.24,-650.85 1331.83,-640.263 1325.54,-648.791 1332.24,-650.85"/>
</g>
<!-- 38 -->
<g id="node5" class="node"><title>38</title>
<ellipse fill="#ffff00" stroke="black" cx="821" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="821" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="821" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 248 -->
<g id="node137" class="node"><title>248</title>
<polygon fill="#00ffff" stroke="black" points="1806,-640 1738,-640 1738,-604 1806,-604 1806,-640"/>
<text text-anchor="middle" x="1772" y="-618.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 38&#45;&gt;248 -->
<g id="edge202" class="edge"><title>38&#45;&gt;248</title>
<path fill="none" stroke="black" d="M850.818,-738.493C867.882,-729.976 890.012,-720.459 911,-716 933.227,-711.278 1709.73,-720.041 1729,-708 1749.25,-695.346 1760.3,-669.977 1766.1,-650.056"/>
<polygon fill="black" stroke="black" points="1769.53,-650.793 1768.68,-640.232 1762.76,-649.016 1769.53,-650.793"/>
</g>
<!-- 254 -->
<g id="node139" class="node"><title>254</title>
<polygon fill="#00ffff" stroke="black" points="1630,-640 1554,-640 1554,-604 1630,-604 1630,-640"/>
<text text-anchor="middle" x="1592" y="-618.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 38&#45;&gt;254 -->
<g id="edge206" class="edge"><title>38&#45;&gt;254</title>
<path fill="none" stroke="black" d="M850.83,-738.55C867.898,-730.052 890.028,-720.533 911,-716 1014.19,-693.696 1282.67,-729.611 1386,-708 1445.83,-695.488 1510.13,-665.752 1550.68,-644.763"/>
<polygon fill="black" stroke="black" points="1552.48,-647.772 1559.71,-640.029 1549.23,-641.572 1552.48,-647.772"/>
</g>
<!-- 40 -->
<g id="node7" class="node"><title>40</title>
<ellipse fill="#ffff00" stroke="black" cx="958" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="958" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="958" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 40&#45;&gt;62 -->
<g id="edge156" class="edge"><title>40&#45;&gt;62</title>
<path fill="none" stroke="black" d="M928.181,-738.5C911.116,-729.986 888.986,-720.468 868,-716 847.595,-711.656 134.688,-719.062 117,-708 96.7526,-695.337 85.7063,-669.969 79.9006,-650.051"/>
<polygon fill="black" stroke="black" points="83.2463,-649.012 77.3212,-640.228 76.4758,-650.789 83.2463,-649.012"/>
</g>
<!-- 40&#45;&gt;68 -->
<g id="edge160" class="edge"><title>40&#45;&gt;68</title>
<path fill="none" stroke="black" d="M928.17,-738.551C911.102,-730.054 888.972,-720.535 868,-716 816.95,-704.961 448.229,-722.318 398,-708 354.857,-695.702 311.489,-667.059 283.792,-646.198"/>
<polygon fill="black" stroke="black" points="285.781,-643.313 275.717,-640.001 281.519,-648.866 285.781,-643.313"/>
</g>
<!-- 41 -->
<g id="node8" class="node"><title>41</title>
<ellipse fill="#ffff00" stroke="black" cx="1046" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="1046" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="1046" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 41&#45;&gt;124 -->
<g id="edge172" class="edge"><title>41&#45;&gt;124</title>
<path fill="none" stroke="black" d="M1024.39,-730.451C1017.83,-724.622 1010.18,-719.178 1002,-716 975.326,-705.642 511.223,-723.232 487,-708 466.784,-695.288 455.734,-669.926 449.919,-650.022"/>
<polygon fill="black" stroke="black" points="453.265,-648.987 447.334,-640.208 446.496,-650.77 453.265,-648.987"/>
</g>
<!-- 41&#45;&gt;130 -->
<g id="edge176" class="edge"><title>41&#45;&gt;130</title>
<path fill="none" stroke="black" d="M1023.38,-731.25C1016.93,-725.565 1009.59,-719.994 1002,-716 892.552,-658.395 746.55,-635.121 672.092,-626.526"/>
<polygon fill="black" stroke="black" points="672.398,-623.038 662.071,-625.408 671.622,-629.995 672.398,-623.038"/>
</g>
<!-- 42 -->
<g id="node9" class="node"><title>42</title>
<ellipse fill="#ffff00" stroke="black" cx="1134" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="1134" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="1134" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 42&#45;&gt;186 -->
<g id="edge188" class="edge"><title>42&#45;&gt;186</title>
<path fill="none" stroke="black" d="M1139.1,-724.153C1142.81,-701.731 1147.79,-671.632 1151.38,-649.92"/>
<polygon fill="black" stroke="black" points="1154.84,-650.443 1153.02,-640.006 1147.94,-649.301 1154.84,-650.443"/>
</g>
<!-- 42&#45;&gt;192 -->
<g id="edge192" class="edge"><title>42&#45;&gt;192</title>
<path fill="none" stroke="black" d="M1156.2,-730.348C1162.64,-724.671 1170.1,-719.328 1178,-716 1200.79,-706.402 1268.2,-721.372 1289,-708 1309.48,-694.838 1321.74,-669.529 1328.58,-649.76"/>
<polygon fill="black" stroke="black" points="1331.99,-650.611 1331.68,-640.021 1325.32,-648.49 1331.99,-650.611"/>
</g>
<!-- 43 -->
<g id="node10" class="node"><title>43</title>
<ellipse fill="#ffff00" stroke="black" cx="1222" cy="-755" rx="34.8574" ry="31.1127"/>
<text text-anchor="middle" x="1222" y="-760.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
<text text-anchor="middle" x="1222" y="-742.4" font-family="Times Roman,serif" font-size="14.00">⬤</text>
</g>
<!-- 43&#45;&gt;248 -->
<g id="edge204" class="edge"><title>43&#45;&gt;248</title>
<path fill="none" stroke="black" d="M1257.2,-753.701C1365.73,-749.428 1690.19,-734.54 1729,-708 1748.6,-694.6 1759.69,-669.549 1765.68,-649.926"/>
<polygon fill="black" stroke="black" points="1769.06,-650.822 1768.37,-640.25 1762.32,-648.95 1769.06,-650.822"/>
</g>
<!-- 43&#45;&gt;254 -->
<g id="edge208" class="edge"><title>43&#45;&gt;254</title>
<path fill="none" stroke="black" d="M1255.97,-746.501C1289.39,-737.851 1341.7,-723.536 1386,-708 1441.3,-688.605 1503.15,-662.115 1544.51,-643.68"/>
<polygon fill="black" stroke="black" points="1546.1,-646.806 1553.79,-639.526 1543.24,-640.417 1546.1,-646.806"/>
</g>
<!-- 45 -->
<g id="node12" class="node"><title>45</title>
<ellipse fill="#ffff00" stroke="black" cx="1046" cy="-61" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1046" y="-57.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 46 -->
<g id="node13" class="node"><title>46</title>
<ellipse fill="#ffff00" stroke="black" cx="1134" cy="-61" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1134" y="-57.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 47 -->
<g id="node14" class="node"><title>47</title>
<ellipse fill="#ffff00" stroke="black" cx="1222" cy="-61" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1222" y="-57.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 48 -->
<g id="node15" class="node"><title>48</title>
<ellipse fill="#ffff00" stroke="black" cx="1398" cy="-61" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1398" y="-57.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 49 -->
<g id="node16" class="node"><title>49</title>
<ellipse fill="#ffff00" stroke="black" cx="1310" cy="-61" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1310" y="-57.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 51 -->
<g id="node18" class="node"><title>51</title>
<ellipse fill="#ffff00" stroke="black" cx="791" cy="-389" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="791" y="-385.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 88 -->
<g id="node40" class="node"><title>88</title>
<polygon fill="#00ffff" stroke="black" points="276,-320 208,-320 208,-284 276,-284 276,-320"/>
<text text-anchor="middle" x="242" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 51&#45;&gt;88 -->
<g id="edge162" class="edge"><title>51&#45;&gt;88</title>
<path fill="none" stroke="black" d="M770.017,-373.93C762.227,-369.172 753.071,-364.504 744,-362 719.148,-355.14 302.886,-365.871 280,-354 269.437,-348.521 261.089,-338.611 254.94,-328.901"/>
<polygon fill="black" stroke="black" points="257.936,-327.09 249.911,-320.172 251.871,-330.584 257.936,-327.09"/>
</g>
<!-- 94 -->
<g id="node42" class="node"><title>94</title>
<polygon fill="#00ffff" stroke="black" points="190,-320 114,-320 114,-284 190,-284 190,-320"/>
<text text-anchor="middle" x="152" y="-298.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 51&#45;&gt;94 -->
<g id="edge164" class="edge"><title>51&#45;&gt;94</title>
<path fill="none" stroke="black" d="M770.021,-373.918C762.231,-369.157 753.074,-364.492 744,-362 714.8,-353.98 226.584,-366.493 199,-354 186.876,-348.509 176.532,-338.218 168.661,-328.231"/>
<polygon fill="black" stroke="black" points="171.381,-326.021 162.646,-320.025 165.735,-330.159 171.381,-326.021"/>
</g>
<!-- 52 -->
<g id="node19" class="node"><title>52</title>
<ellipse fill="#ffff00" stroke="black" cx="879" cy="-389" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="879" y="-385.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 150 -->
<g id="node76" class="node"><title>150</title>
<polygon fill="#00ffff" stroke="black" points="646,-320 578,-320 578,-284 646,-284 646,-320"/>
<text text-anchor="middle" x="612" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 52&#45;&gt;150 -->
<g id="edge178" class="edge"><title>52&#45;&gt;150</title>
<path fill="none" stroke="black" d="M859.005,-373.776C851.816,-369.128 843.399,-364.569 835,-362 815.325,-355.983 668.14,-363.71 650,-354 639.509,-348.384 631.173,-338.451 625.014,-328.761"/>
<polygon fill="black" stroke="black" points="628.014,-326.956 619.97,-320.061 621.958,-330.467 628.014,-326.956"/>
</g>
<!-- 156 -->
<g id="node78" class="node"><title>156</title>
<polygon fill="#00ffff" stroke="black" points="560,-320 484,-320 484,-284 560,-284 560,-320"/>
<text text-anchor="middle" x="522" y="-298.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 52&#45;&gt;156 -->
<g id="edge180" class="edge"><title>52&#45;&gt;156</title>
<path fill="none" stroke="black" d="M859.025,-373.713C851.836,-369.059 843.416,-364.513 835,-362 806.668,-353.538 595.84,-366.406 569,-354 557.005,-348.456 546.729,-338.258 538.872,-328.353"/>
<polygon fill="black" stroke="black" points="541.614,-326.173 532.857,-320.21 535.983,-330.333 541.614,-326.173"/>
</g>
<!-- 53 -->
<g id="node20" class="node"><title>53</title>
<ellipse fill="#ffff00" stroke="black" cx="967" cy="-389" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="967" y="-385.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 212 -->
<g id="node112" class="node"><title>212</title>
<polygon fill="#00ffff" stroke="black" points="1190,-320 1122,-320 1122,-284 1190,-284 1190,-320"/>
<text text-anchor="middle" x="1156" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 53&#45;&gt;212 -->
<g id="edge194" class="edge"><title>53&#45;&gt;212</title>
<path fill="none" stroke="black" d="M988.992,-374.565C995.905,-370.284 1003.65,-365.744 1011,-362 1044.15,-345.105 1083.19,-329.162 1112.41,-317.962"/>
<polygon fill="black" stroke="black" points="1113.81,-321.173 1121.92,-314.351 1111.33,-314.629 1113.81,-321.173"/>
</g>
<!-- 218 -->
<g id="node114" class="node"><title>218</title>
<polygon fill="#00ffff" stroke="black" points="1284,-320 1208,-320 1208,-284 1284,-284 1284,-320"/>
<text text-anchor="middle" x="1246" y="-298.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 53&#45;&gt;218 -->
<g id="edge196" class="edge"><title>53&#45;&gt;218</title>
<path fill="none" stroke="black" d="M986.994,-373.773C994.183,-369.124 1002.6,-364.566 1011,-362 1050.99,-349.784 1161.15,-371.78 1199,-354 1210.96,-348.381 1221.23,-338.172 1229.09,-328.279"/>
<polygon fill="black" stroke="black" points="1231.97,-330.268 1235.12,-320.15 1226.35,-326.102 1231.97,-330.268"/>
</g>
<!-- 54 -->
<g id="node21" class="node"><title>54</title>
<ellipse fill="#ffff00" stroke="black" cx="1055" cy="-389" rx="34.8574" ry="18.3848"/>
<text text-anchor="middle" x="1055" y="-385.4" font-family="Times Roman,serif" font-size="14.00">Wire</text>
</g>
<!-- 274 -->
<g id="node148" class="node"><title>274</title>
<polygon fill="#00ffff" stroke="black" points="1638,-320 1570,-320 1570,-284 1638,-284 1638,-320"/>
<text text-anchor="middle" x="1604" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 54&#45;&gt;274 -->
<g id="edge210" class="edge"><title>54&#45;&gt;274</title>
<path fill="none" stroke="black" d="M1075.98,-373.93C1083.77,-369.172 1092.93,-364.504 1102,-362 1126.85,-355.14 1543.11,-365.871 1566,-354 1576.56,-348.521 1584.91,-338.611 1591.06,-328.901"/>
<polygon fill="black" stroke="black" points="1594.13,-330.584 1596.09,-320.172 1588.06,-327.09 1594.13,-330.584"/>
</g>
<!-- 280 -->
<g id="node150" class="node"><title>280</title>
<polygon fill="#00ffff" stroke="black" points="1732,-320 1656,-320 1656,-284 1732,-284 1732,-320"/>
<text text-anchor="middle" x="1694" y="-298.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 54&#45;&gt;280 -->
<g id="edge212" class="edge"><title>54&#45;&gt;280</title>
<path fill="none" stroke="black" d="M1075.98,-373.918C1083.77,-369.157 1092.93,-364.492 1102,-362 1131.2,-353.98 1619.42,-366.493 1647,-354 1659.12,-348.509 1669.47,-338.218 1677.34,-328.231"/>
<polygon fill="black" stroke="black" points="1680.26,-330.159 1683.35,-320.025 1674.62,-326.021 1680.26,-330.159"/>
</g>
<!-- 56 -->
<g id="node23" class="node"><title>56</title>
<ellipse fill="#ffff00" stroke="black" cx="193" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="193" y="-385.4" font-family="Times Roman,serif" font-size="14.00">q</text>
</g>
<!-- 56&#45;&gt;88 -->
<g id="edge35" class="edge"><title>56&#45;&gt;88</title>
<path fill="none" stroke="black" d="M202.916,-371.394C209.732,-359.292 218.917,-342.985 226.67,-329.219"/>
<polygon fill="black" stroke="black" points="229.904,-330.609 231.762,-320.178 223.805,-327.174 229.904,-330.609"/>
</g>
<!-- 56&#45;&gt;94 -->
<g id="edge37" class="edge"><title>56&#45;&gt;94</title>
<path fill="none" stroke="black" d="M184.703,-371.394C179.054,-359.408 171.462,-343.298 165.015,-329.617"/>
<polygon fill="black" stroke="black" points="167.996,-327.732 160.567,-320.178 161.664,-330.716 167.996,-327.732"/>
</g>
<!-- 57 -->
<g id="node24" class="node"><title>57</title>
<ellipse fill="#ffff00" stroke="black" cx="121" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="121" y="-385.4" font-family="Times Roman,serif" font-size="14.00">kq</text>
</g>
<!-- 106 -->
<g id="node46" class="node"><title>106</title>
<polygon fill="#00ffff" stroke="black" points="96,-320 24,-320 24,-284 96,-284 96,-320"/>
<text text-anchor="middle" x="60" y="-298.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 57&#45;&gt;106 -->
<g id="edge41" class="edge"><title>57&#45;&gt;106</title>
<path fill="none" stroke="black" d="M109.239,-372.226C100.58,-359.877 88.6322,-342.836 78.6742,-328.634"/>
<polygon fill="black" stroke="black" points="81.3851,-326.403 72.7783,-320.225 75.6535,-330.422 81.3851,-326.403"/>
</g>
<!-- 111 -->
<g id="node48" class="node"><title>111</title>
<polygon fill="#00ffff" stroke="black" points="362,-320 294,-320 294,-284 362,-284 362,-320"/>
<text text-anchor="middle" x="328" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 57&#45;&gt;111 -->
<g id="edge25" class="edge"><title>57&#45;&gt;111</title>
<path fill="none" stroke="black" d="M137,-373.859C142.854,-369.217 149.814,-364.641 157,-362 184.375,-351.938 262.24,-367.676 288,-354 298.706,-348.316 307.423,-338.372 313.955,-328.691"/>
<polygon fill="black" stroke="black" points="317.045,-330.35 319.334,-320.005 311.094,-326.664 317.045,-330.35"/>
</g>
<!-- 58 -->
<g id="node25" class="node"><title>58</title>
<ellipse fill="#ffff00" stroke="black" cx="335" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="335" y="-545.4" font-family="Times Roman,serif" font-size="14.00">ab</text>
</g>
<!-- 80 -->
<g id="node35" class="node"><title>80</title>
<polygon fill="#00ffff" stroke="black" points="198,-640 126,-640 126,-604 198,-604 198,-640"/>
<text text-anchor="middle" x="162" y="-618.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 58&#45;&gt;80 -->
<g id="edge33" class="edge"><title>58&#45;&gt;80</title>
<path fill="none" stroke="black" d="M315.31,-561.852C311.622,-564.033 307.747,-566.178 304,-568 265.311,-586.814 251.668,-587.457 207.827,-603.775"/>
<polygon fill="black" stroke="black" points="206.427,-600.563 198.318,-607.382 208.91,-607.108 206.427,-600.563"/>
</g>
<!-- 58&#45;&gt;111 -->
<g id="edge27" class="edge"><title>58&#45;&gt;111</title>
<path fill="none" stroke="black" d="M334.474,-530.435C333.259,-487.58 330.254,-381.527 328.806,-330.424"/>
<polygon fill="black" stroke="black" points="332.295,-330.006 328.513,-320.109 325.298,-330.204 332.295,-330.006"/>
</g>
<!-- 60 -->
<g id="node27" class="node"><title>60</title>
<ellipse fill="#ffff00" stroke="black" cx="82" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="82" y="-545.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 74 -->
<g id="node32" class="node"><title>74</title>
<polygon fill="#00ffff" stroke="black" points="200,-494 124,-494 124,-458 200,-458 200,-494"/>
<text text-anchor="middle" x="162" y="-472.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 60&#45;&gt;74 -->
<g id="edge10" class="edge"><title>60&#45;&gt;74</title>
<path fill="none" stroke="black" d="M98.5761,-533.874C108.938,-524.419 122.538,-512.009 134.486,-501.107"/>
<polygon fill="black" stroke="black" points="137.02,-503.532 142.048,-494.206 132.302,-498.361 137.02,-503.532"/>
</g>
<!-- 61 -->
<g id="node28" class="node"><title>61</title>
<ellipse fill="#ffff00" stroke="black" cx="162" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="162" y="-545.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 61&#45;&gt;74 -->
<g id="edge12" class="edge"><title>61&#45;&gt;74</title>
<path fill="none" stroke="black" d="M162,-530.201C162,-522.332 162,-513.015 162,-504.345"/>
<polygon fill="black" stroke="black" points="165.5,-504.231 162,-494.231 158.5,-504.231 165.5,-504.231"/>
</g>
<!-- 62&#45;&gt;60 -->
<g id="edge8" class="edge"><title>62&#45;&gt;60</title>
<path fill="none" stroke="black" d="M75.9775,-603.955C76.8489,-596.004 77.8939,-586.468 78.8671,-577.588"/>
<polygon fill="black" stroke="black" points="82.3514,-577.921 79.9617,-567.6 75.3931,-577.159 82.3514,-577.921"/>
</g>
<!-- 68&#45;&gt;58 -->
<g id="edge29" class="edge"><title>68&#45;&gt;58</title>
<path fill="none" stroke="black" d="M274.022,-603.955C285.137,-593.938 299.044,-581.404 310.77,-570.837"/>
<polygon fill="black" stroke="black" points="313.392,-573.186 318.477,-563.891 308.706,-567.986 313.392,-573.186"/>
</g>
<!-- 74&#45;&gt;56 -->
<g id="edge31" class="edge"><title>74&#45;&gt;56</title>
<path fill="none" stroke="black" d="M168.423,-457.974C172.663,-446.075 178.301,-430.251 183.108,-416.761"/>
<polygon fill="black" stroke="black" points="186.525,-417.598 186.585,-407.003 179.931,-415.248 186.525,-417.598"/>
</g>
<!-- 80&#45;&gt;61 -->
<g id="edge14" class="edge"><title>80&#45;&gt;61</title>
<path fill="none" stroke="black" d="M162,-603.955C162,-596.091 162,-586.675 162,-577.878"/>
<polygon fill="black" stroke="black" points="165.5,-577.599 162,-567.6 158.5,-577.6 165.5,-577.599"/>
</g>
<!-- 86 -->
<g id="node38" class="node"><title>86</title>
<ellipse fill="#ffff00" stroke="black" cx="240" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="240" y="-225.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 100 -->
<g id="node43" class="node"><title>100</title>
<polygon fill="#00ffff" stroke="black" points="276,-174 200,-174 200,-138 276,-138 276,-174"/>
<text text-anchor="middle" x="238" y="-152.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 86&#45;&gt;100 -->
<g id="edge19" class="edge"><title>86&#45;&gt;100</title>
<path fill="none" stroke="black" d="M239.485,-210.201C239.269,-202.332 239.014,-193.015 238.777,-184.345"/>
<polygon fill="black" stroke="black" points="242.272,-184.132 238.499,-174.231 235.275,-184.323 242.272,-184.132"/>
</g>
<!-- 87 -->
<g id="node39" class="node"><title>87</title>
<ellipse fill="#ffff00" stroke="black" cx="113" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="113" y="-225.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 87&#45;&gt;100 -->
<g id="edge21" class="edge"><title>87&#45;&gt;100</title>
<path fill="none" stroke="black" d="M133.641,-216.946C151.116,-206.74 176.669,-191.817 198.116,-179.292"/>
<polygon fill="black" stroke="black" points="200.151,-182.157 207.021,-174.092 196.62,-176.113 200.151,-182.157"/>
</g>
<!-- 88&#45;&gt;86 -->
<g id="edge17" class="edge"><title>88&#45;&gt;86</title>
<path fill="none" stroke="black" d="M241.506,-283.955C241.29,-276.091 241.032,-266.675 240.791,-257.878"/>
<polygon fill="black" stroke="black" points="244.282,-257.5 240.51,-247.6 237.285,-257.692 244.282,-257.5"/>
</g>
<!-- 94&#45;&gt;57 -->
<g id="edge39" class="edge"><title>94&#45;&gt;57</title>
<path fill="none" stroke="black" d="M145.585,-320.003C141.347,-331.897 135.709,-347.72 130.901,-361.213"/>
<polygon fill="black" stroke="black" points="127.483,-360.379 127.423,-370.974 134.077,-362.728 127.483,-360.379"/>
</g>
<!-- 100&#45;&gt;45 -->
<g id="edge166" class="edge"><title>100&#45;&gt;45</title>
<path fill="none" stroke="black" d="M276.211,-145.432C305.063,-137.831 345.746,-127.915 382,-122 612.816,-84.3395 892.847,-68.1303 1000.67,-62.9692"/>
<polygon fill="black" stroke="black" points="1001.04,-66.456 1010.86,-62.49 1000.71,-59.4637 1001.04,-66.456"/>
</g>
<!-- 106&#45;&gt;87 -->
<g id="edge23" class="edge"><title>106&#45;&gt;87</title>
<path fill="none" stroke="black" d="M73.1011,-283.955C79.6448,-274.942 87.6676,-263.892 94.7987,-254.07"/>
<polygon fill="black" stroke="black" points="97.7334,-255.985 100.776,-245.836 92.0688,-251.872 97.7334,-255.985"/>
</g>
<!-- 111&#45;&gt;52 -->
<g id="edge168" class="edge"><title>111&#45;&gt;52</title>
<path fill="none" stroke="black" d="M340.842,-320.066C350.59,-332.138 365.162,-347.037 382,-354 428.521,-373.237 786.676,-347.893 835,-362 840.138,-363.5 845.273,-365.769 850.127,-368.367"/>
<polygon fill="black" stroke="black" points="848.655,-371.564 859.042,-373.653 852.226,-365.543 848.655,-371.564"/>
</g>
<!-- 118 -->
<g id="node59" class="node"><title>118</title>
<ellipse fill="#ffff00" stroke="black" cx="563" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="563" y="-385.4" font-family="Times Roman,serif" font-size="14.00">q</text>
</g>
<!-- 118&#45;&gt;150 -->
<g id="edge72" class="edge"><title>118&#45;&gt;150</title>
<path fill="none" stroke="black" d="M572.916,-371.394C579.732,-359.292 588.917,-342.985 596.67,-329.219"/>
<polygon fill="black" stroke="black" points="599.904,-330.609 601.762,-320.178 593.805,-327.174 599.904,-330.609"/>
</g>
<!-- 118&#45;&gt;156 -->
<g id="edge74" class="edge"><title>118&#45;&gt;156</title>
<path fill="none" stroke="black" d="M554.703,-371.394C549.054,-359.408 541.462,-343.298 535.015,-329.617"/>
<polygon fill="black" stroke="black" points="537.996,-327.732 530.567,-320.178 531.664,-330.716 537.996,-327.732"/>
</g>
<!-- 119 -->
<g id="node60" class="node"><title>119</title>
<ellipse fill="#ffff00" stroke="black" cx="491" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="491" y="-385.4" font-family="Times Roman,serif" font-size="14.00">kq</text>
</g>
<!-- 168 -->
<g id="node82" class="node"><title>168</title>
<polygon fill="#00ffff" stroke="black" points="466,-320 394,-320 394,-284 466,-284 466,-320"/>
<text text-anchor="middle" x="430" y="-298.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 119&#45;&gt;168 -->
<g id="edge78" class="edge"><title>119&#45;&gt;168</title>
<path fill="none" stroke="black" d="M479.239,-372.226C470.58,-359.877 458.632,-342.836 448.674,-328.634"/>
<polygon fill="black" stroke="black" points="451.385,-326.403 442.778,-320.225 445.654,-330.422 451.385,-326.403"/>
</g>
<!-- 173 -->
<g id="node84" class="node"><title>173</title>
<polygon fill="#00ffff" stroke="black" points="732,-320 664,-320 664,-284 732,-284 732,-320"/>
<text text-anchor="middle" x="698" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 119&#45;&gt;173 -->
<g id="edge62" class="edge"><title>119&#45;&gt;173</title>
<path fill="none" stroke="black" d="M507,-373.859C512.854,-369.217 519.814,-364.641 527,-362 554.375,-351.938 632.24,-367.676 658,-354 668.706,-348.316 677.423,-338.372 683.955,-328.691"/>
<polygon fill="black" stroke="black" points="687.045,-330.35 689.334,-320.005 681.094,-326.664 687.045,-330.35"/>
</g>
<!-- 120 -->
<g id="node61" class="node"><title>120</title>
<ellipse fill="#ffff00" stroke="black" cx="705" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="705" y="-545.4" font-family="Times Roman,serif" font-size="14.00">ab</text>
</g>
<!-- 142 -->
<g id="node71" class="node"><title>142</title>
<polygon fill="#00ffff" stroke="black" points="568,-640 496,-640 496,-604 568,-604 568,-640"/>
<text text-anchor="middle" x="532" y="-618.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 120&#45;&gt;142 -->
<g id="edge70" class="edge"><title>120&#45;&gt;142</title>
<path fill="none" stroke="black" d="M685.31,-561.852C681.622,-564.033 677.747,-566.178 674,-568 635.311,-586.814 621.668,-587.457 577.827,-603.775"/>
<polygon fill="black" stroke="black" points="576.427,-600.563 568.318,-607.382 578.91,-607.108 576.427,-600.563"/>
</g>
<!-- 120&#45;&gt;173 -->
<g id="edge64" class="edge"><title>120&#45;&gt;173</title>
<path fill="none" stroke="black" d="M704.474,-530.435C703.259,-487.58 700.254,-381.527 698.806,-330.424"/>
<polygon fill="black" stroke="black" points="702.295,-330.006 698.513,-320.109 695.298,-330.204 702.295,-330.006"/>
</g>
<!-- 122 -->
<g id="node63" class="node"><title>122</title>
<ellipse fill="#ffff00" stroke="black" cx="452" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="452" y="-545.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 136 -->
<g id="node68" class="node"><title>136</title>
<polygon fill="#00ffff" stroke="black" points="570,-494 494,-494 494,-458 570,-458 570,-494"/>
<text text-anchor="middle" x="532" y="-472.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 122&#45;&gt;136 -->
<g id="edge47" class="edge"><title>122&#45;&gt;136</title>
<path fill="none" stroke="black" d="M468.576,-533.874C478.938,-524.419 492.538,-512.009 504.486,-501.107"/>
<polygon fill="black" stroke="black" points="507.02,-503.532 512.048,-494.206 502.302,-498.361 507.02,-503.532"/>
</g>
<!-- 123 -->
<g id="node64" class="node"><title>123</title>
<ellipse fill="#ffff00" stroke="black" cx="532" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="532" y="-545.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 123&#45;&gt;136 -->
<g id="edge49" class="edge"><title>123&#45;&gt;136</title>
<path fill="none" stroke="black" d="M532,-530.201C532,-522.332 532,-513.015 532,-504.345"/>
<polygon fill="black" stroke="black" points="535.5,-504.231 532,-494.231 528.5,-504.231 535.5,-504.231"/>
</g>
<!-- 124&#45;&gt;122 -->
<g id="edge45" class="edge"><title>124&#45;&gt;122</title>
<path fill="none" stroke="black" d="M445.978,-603.955C446.849,-596.004 447.894,-586.468 448.867,-577.588"/>
<polygon fill="black" stroke="black" points="452.351,-577.921 449.962,-567.6 445.393,-577.159 452.351,-577.921"/>
</g>
<!-- 130&#45;&gt;120 -->
<g id="edge66" class="edge"><title>130&#45;&gt;120</title>
<path fill="none" stroke="black" d="M644.022,-603.955C655.137,-593.938 669.044,-581.404 680.77,-570.837"/>
<polygon fill="black" stroke="black" points="683.392,-573.186 688.477,-563.891 678.706,-567.986 683.392,-573.186"/>
</g>
<!-- 136&#45;&gt;118 -->
<g id="edge68" class="edge"><title>136&#45;&gt;118</title>
<path fill="none" stroke="black" d="M538.423,-457.974C542.663,-446.075 548.301,-430.251 553.108,-416.761"/>
<polygon fill="black" stroke="black" points="556.525,-417.598 556.585,-407.003 549.931,-415.248 556.525,-417.598"/>
</g>
<!-- 142&#45;&gt;123 -->
<g id="edge51" class="edge"><title>142&#45;&gt;123</title>
<path fill="none" stroke="black" d="M532,-603.955C532,-596.091 532,-586.675 532,-577.878"/>
<polygon fill="black" stroke="black" points="535.5,-577.599 532,-567.6 528.5,-577.6 535.5,-577.599"/>
</g>
<!-- 148 -->
<g id="node74" class="node"><title>148</title>
<ellipse fill="#ffff00" stroke="black" cx="610" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="610" y="-225.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 162 -->
<g id="node79" class="node"><title>162</title>
<polygon fill="#00ffff" stroke="black" points="646,-174 570,-174 570,-138 646,-138 646,-174"/>
<text text-anchor="middle" x="608" y="-152.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 148&#45;&gt;162 -->
<g id="edge56" class="edge"><title>148&#45;&gt;162</title>
<path fill="none" stroke="black" d="M609.485,-210.201C609.269,-202.332 609.014,-193.015 608.777,-184.345"/>
<polygon fill="black" stroke="black" points="612.272,-184.132 608.499,-174.231 605.275,-184.323 612.272,-184.132"/>
</g>
<!-- 149 -->
<g id="node75" class="node"><title>149</title>
<ellipse fill="#ffff00" stroke="black" cx="483" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="483" y="-225.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 149&#45;&gt;162 -->
<g id="edge58" class="edge"><title>149&#45;&gt;162</title>
<path fill="none" stroke="black" d="M503.641,-216.946C521.116,-206.74 546.669,-191.817 568.116,-179.292"/>
<polygon fill="black" stroke="black" points="570.151,-182.157 577.021,-174.092 566.62,-176.113 570.151,-182.157"/>
</g>
<!-- 150&#45;&gt;148 -->
<g id="edge54" class="edge"><title>150&#45;&gt;148</title>
<path fill="none" stroke="black" d="M611.506,-283.955C611.29,-276.091 611.032,-266.675 610.791,-257.878"/>
<polygon fill="black" stroke="black" points="614.282,-257.5 610.51,-247.6 607.285,-257.692 614.282,-257.5"/>
</g>
<!-- 156&#45;&gt;119 -->
<g id="edge76" class="edge"><title>156&#45;&gt;119</title>
<path fill="none" stroke="black" d="M515.585,-320.003C511.347,-331.897 505.709,-347.72 500.901,-361.213"/>
<polygon fill="black" stroke="black" points="497.483,-360.379 497.423,-370.974 504.077,-362.728 497.483,-360.379"/>
</g>
<!-- 162&#45;&gt;46 -->
<g id="edge182" class="edge"><title>162&#45;&gt;46</title>
<path fill="none" stroke="black" d="M646.074,-154.366C753.041,-149.542 1051.03,-134.41 1090,-114 1101.47,-107.993 1111.11,-97.585 1118.42,-87.5744"/>
<polygon fill="black" stroke="black" points="1121.51,-89.2428 1124.22,-79 1115.72,-85.3182 1121.51,-89.2428"/>
</g>
<!-- 168&#45;&gt;149 -->
<g id="edge60" class="edge"><title>168&#45;&gt;149</title>
<path fill="none" stroke="black" d="M443.101,-283.955C449.645,-274.942 457.668,-263.892 464.799,-254.07"/>
<polygon fill="black" stroke="black" points="467.733,-255.985 470.776,-245.836 462.069,-251.872 467.733,-255.985"/>
</g>
<!-- 173&#45;&gt;53 -->
<g id="edge184" class="edge"><title>173&#45;&gt;53</title>
<path fill="none" stroke="black" d="M732.182,-307.91C777.182,-316.403 858.175,-334.171 923,-362 927.717,-364.025 932.527,-366.496 937.151,-369.111"/>
<polygon fill="black" stroke="black" points="935.361,-372.119 945.741,-374.24 938.949,-366.109 935.361,-372.119"/>
</g>
<!-- 180 -->
<g id="node95" class="node"><title>180</title>
<ellipse fill="#ffff00" stroke="black" cx="1199" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1199" y="-385.4" font-family="Times Roman,serif" font-size="14.00">q</text>
</g>
<!-- 180&#45;&gt;212 -->
<g id="edge109" class="edge"><title>180&#45;&gt;212</title>
<path fill="none" stroke="black" d="M1190.3,-371.394C1184.32,-359.292 1176.26,-342.985 1169.45,-329.219"/>
<polygon fill="black" stroke="black" points="1172.55,-327.592 1164.98,-320.178 1166.28,-330.694 1172.55,-327.592"/>
</g>
<!-- 180&#45;&gt;218 -->
<g id="edge111" class="edge"><title>180&#45;&gt;218</title>
<path fill="none" stroke="black" d="M1208.51,-371.394C1215.05,-359.292 1223.86,-342.985 1231.3,-329.219"/>
<polygon fill="black" stroke="black" points="1234.51,-330.64 1236.18,-320.178 1228.35,-327.313 1234.51,-330.64"/>
</g>
<!-- 181 -->
<g id="node96" class="node"><title>181</title>
<ellipse fill="#ffff00" stroke="black" cx="1338" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1338" y="-385.4" font-family="Times Roman,serif" font-size="14.00">kq</text>
</g>
<!-- 230 -->
<g id="node118" class="node"><title>230</title>
<polygon fill="#00ffff" stroke="black" points="1374,-320 1302,-320 1302,-284 1374,-284 1374,-320"/>
<text text-anchor="middle" x="1338" y="-298.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 181&#45;&gt;230 -->
<g id="edge115" class="edge"><title>181&#45;&gt;230</title>
<path fill="none" stroke="black" d="M1338,-370.122C1338,-358.565 1338,-343.551 1338,-330.561"/>
<polygon fill="black" stroke="black" points="1341.5,-330.245 1338,-320.245 1334.5,-330.245 1341.5,-330.245"/>
</g>
<!-- 235 -->
<g id="node120" class="node"><title>235</title>
<polygon fill="#00ffff" stroke="black" points="1460,-320 1392,-320 1392,-284 1460,-284 1460,-320"/>
<text text-anchor="middle" x="1426" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 181&#45;&gt;235 -->
<g id="edge99" class="edge"><title>181&#45;&gt;235</title>
<path fill="none" stroke="black" d="M1358.15,-376.215C1367.14,-370.045 1377.58,-362.206 1386,-354 1393.83,-346.368 1401.41,-337.148 1407.83,-328.603"/>
<polygon fill="black" stroke="black" points="1410.77,-330.512 1413.83,-320.368 1405.11,-326.391 1410.77,-330.512"/>
</g>
<!-- 182 -->
<g id="node97" class="node"><title>182</title>
<ellipse fill="#ffff00" stroke="black" cx="1417" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1417" y="-545.4" font-family="Times Roman,serif" font-size="14.00">ab</text>
</g>
<!-- 204 -->
<g id="node107" class="node"><title>204</title>
<polygon fill="#00ffff" stroke="black" points="1280,-640 1208,-640 1208,-604 1280,-604 1280,-640"/>
<text text-anchor="middle" x="1244" y="-618.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 182&#45;&gt;204 -->
<g id="edge107" class="edge"><title>182&#45;&gt;204</title>
<path fill="none" stroke="black" d="M1397.31,-561.852C1393.62,-564.033 1389.75,-566.178 1386,-568 1347.31,-586.814 1333.67,-587.457 1289.83,-603.775"/>
<polygon fill="black" stroke="black" points="1288.43,-600.563 1280.32,-607.382 1290.91,-607.108 1288.43,-600.563"/>
</g>
<!-- 182&#45;&gt;235 -->
<g id="edge101" class="edge"><title>182&#45;&gt;235</title>
<path fill="none" stroke="black" d="M1417.68,-530.435C1419.24,-487.49 1423.12,-381.082 1424.98,-330.103"/>
<polygon fill="black" stroke="black" points="1428.47,-330.23 1425.34,-320.109 1421.48,-329.975 1428.47,-330.23"/>
</g>
<!-- 184 -->
<g id="node99" class="node"><title>184</title>
<ellipse fill="#ffff00" stroke="black" cx="1158" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1158" y="-545.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 198 -->
<g id="node104" class="node"><title>198</title>
<polygon fill="#00ffff" stroke="black" points="1237,-494 1161,-494 1161,-458 1237,-458 1237,-494"/>
<text text-anchor="middle" x="1199" y="-472.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 184&#45;&gt;198 -->
<g id="edge84" class="edge"><title>184&#45;&gt;198</title>
<path fill="none" stroke="black" d="M1167.72,-531.7C1172.53,-523.137 1178.44,-512.603 1183.83,-503.01"/>
<polygon fill="black" stroke="black" points="1186.94,-504.627 1188.78,-494.194 1180.83,-501.2 1186.94,-504.627"/>
</g>
<!-- 185 -->
<g id="node100" class="node"><title>185</title>
<ellipse fill="#ffff00" stroke="black" cx="1238" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1238" y="-545.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 185&#45;&gt;198 -->
<g id="edge86" class="edge"><title>185&#45;&gt;198</title>
<path fill="none" stroke="black" d="M1228.56,-531.329C1224.03,-522.847 1218.5,-512.498 1213.45,-503.054"/>
<polygon fill="black" stroke="black" points="1216.42,-501.187 1208.62,-494.016 1210.25,-504.485 1216.42,-501.187"/>
</g>
<!-- 186&#45;&gt;184 -->
<g id="edge82" class="edge"><title>186&#45;&gt;184</title>
<path fill="none" stroke="black" d="M1156.49,-603.955C1156.71,-596.091 1156.97,-586.675 1157.21,-577.878"/>
<polygon fill="black" stroke="black" points="1160.72,-577.692 1157.49,-567.6 1153.72,-577.5 1160.72,-577.692"/>
</g>
<!-- 192&#45;&gt;182 -->
<g id="edge103" class="edge"><title>192&#45;&gt;182</title>
<path fill="none" stroke="black" d="M1356.02,-603.955C1367.14,-593.938 1381.04,-581.404 1392.77,-570.837"/>
<polygon fill="black" stroke="black" points="1395.39,-573.186 1400.48,-563.891 1390.71,-567.986 1395.39,-573.186"/>
</g>
<!-- 198&#45;&gt;180 -->
<g id="edge105" class="edge"><title>198&#45;&gt;180</title>
<path fill="none" stroke="black" d="M1199,-457.974C1199,-446.349 1199,-430.977 1199,-417.695"/>
<polygon fill="black" stroke="black" points="1202.5,-417.604 1199,-407.604 1195.5,-417.604 1202.5,-417.604"/>
</g>
<!-- 204&#45;&gt;185 -->
<g id="edge88" class="edge"><title>204&#45;&gt;185</title>
<path fill="none" stroke="black" d="M1242.52,-603.955C1241.86,-596.004 1241.08,-586.468 1240.35,-577.588"/>
<polygon fill="black" stroke="black" points="1243.84,-577.279 1239.53,-567.6 1236.86,-577.853 1243.84,-577.279"/>
</g>
<!-- 210 -->
<g id="node110" class="node"><title>210</title>
<ellipse fill="#ffff00" stroke="black" cx="1158" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1158" y="-225.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 224 -->
<g id="node115" class="node"><title>224</title>
<polygon fill="#00ffff" stroke="black" points="1260,-174 1184,-174 1184,-138 1260,-138 1260,-174"/>
<text text-anchor="middle" x="1222" y="-152.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 210&#45;&gt;224 -->
<g id="edge93" class="edge"><title>210&#45;&gt;224</title>
<path fill="none" stroke="black" d="M1172.2,-212.799C1180.19,-203.694 1190.33,-192.119 1199.38,-181.797"/>
<polygon fill="black" stroke="black" points="1202.08,-184.036 1206.04,-174.209 1196.81,-179.421 1202.08,-184.036"/>
</g>
<!-- 211 -->
<g id="node111" class="node"><title>211</title>
<ellipse fill="#ffff00" stroke="black" cx="1285" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1285" y="-225.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 211&#45;&gt;224 -->
<g id="edge95" class="edge"><title>211&#45;&gt;224</title>
<path fill="none" stroke="black" d="M1271.02,-212.799C1263.16,-203.694 1253.17,-192.119 1244.26,-181.797"/>
<polygon fill="black" stroke="black" points="1246.9,-179.493 1237.71,-174.209 1241.6,-184.066 1246.9,-179.493"/>
</g>
<!-- 212&#45;&gt;210 -->
<g id="edge91" class="edge"><title>212&#45;&gt;210</title>
<path fill="none" stroke="black" d="M1156.49,-283.955C1156.71,-276.091 1156.97,-266.675 1157.21,-257.878"/>
<polygon fill="black" stroke="black" points="1160.72,-257.692 1157.49,-247.6 1153.72,-257.5 1160.72,-257.692"/>
</g>
<!-- 218&#45;&gt;181 -->
<g id="edge113" class="edge"><title>218&#45;&gt;181</title>
<path fill="none" stroke="black" d="M1260.94,-320.05C1269.84,-330.4 1281.59,-343.4 1293,-354 1298.58,-359.186 1304.88,-364.419 1310.95,-369.201"/>
<polygon fill="black" stroke="black" points="1308.95,-372.076 1319.01,-375.396 1313.22,-366.527 1308.95,-372.076"/>
</g>
<!-- 224&#45;&gt;47 -->
<g id="edge198" class="edge"><title>224&#45;&gt;47</title>
<path fill="none" stroke="black" d="M1222,-137.683C1222,-124.103 1222,-105.326 1222,-89.7519"/>
<polygon fill="black" stroke="black" points="1225.5,-89.5848 1222,-79.5849 1218.5,-89.5849 1225.5,-89.5848"/>
</g>
<!-- 230&#45;&gt;211 -->
<g id="edge97" class="edge"><title>230&#45;&gt;211</title>
<path fill="none" stroke="black" d="M1324.9,-283.955C1318.36,-274.942 1310.33,-263.892 1303.2,-254.07"/>
<polygon fill="black" stroke="black" points="1305.93,-251.872 1297.22,-245.836 1300.27,-255.985 1305.93,-251.872"/>
</g>
<!-- 235&#45;&gt;54 -->
<g id="edge200" class="edge"><title>235&#45;&gt;54</title>
<path fill="none" stroke="black" d="M1417.41,-320.149C1410.68,-332.095 1400.1,-346.807 1386,-354 1357.88,-368.343 1132.38,-353.434 1102,-362 1096.2,-363.636 1090.36,-366.144 1084.86,-368.985"/>
<polygon fill="black" stroke="black" points="1082.99,-366.022 1076,-373.986 1086.43,-372.118 1082.99,-366.022"/>
</g>
<!-- 242 -->
<g id="node131" class="node"><title>242</title>
<ellipse fill="#ffff00" stroke="black" cx="1653" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1653" y="-385.4" font-family="Times Roman,serif" font-size="14.00">q</text>
</g>
<!-- 242&#45;&gt;274 -->
<g id="edge146" class="edge"><title>242&#45;&gt;274</title>
<path fill="none" stroke="black" d="M1643.08,-371.394C1636.27,-359.292 1627.08,-342.985 1619.33,-329.219"/>
<polygon fill="black" stroke="black" points="1622.2,-327.174 1614.24,-320.178 1616.1,-330.609 1622.2,-327.174"/>
</g>
<!-- 242&#45;&gt;280 -->
<g id="edge148" class="edge"><title>242&#45;&gt;280</title>
<path fill="none" stroke="black" d="M1661.3,-371.394C1666.95,-359.408 1674.54,-343.298 1680.99,-329.617"/>
<polygon fill="black" stroke="black" points="1684.34,-330.716 1685.43,-320.178 1678,-327.732 1684.34,-330.716"/>
</g>
<!-- 243 -->
<g id="node132" class="node"><title>243</title>
<ellipse fill="#ffff00" stroke="black" cx="1725" cy="-389" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1725" y="-385.4" font-family="Times Roman,serif" font-size="14.00">kq</text>
</g>
<!-- 292 -->
<g id="node154" class="node"><title>292</title>
<polygon fill="#00ffff" stroke="black" points="1822,-320 1750,-320 1750,-284 1822,-284 1822,-320"/>
<text text-anchor="middle" x="1786" y="-298.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 243&#45;&gt;292 -->
<g id="edge152" class="edge"><title>243&#45;&gt;292</title>
<path fill="none" stroke="black" d="M1736.76,-372.226C1745.42,-359.877 1757.37,-342.836 1767.33,-328.634"/>
<polygon fill="black" stroke="black" points="1770.35,-330.422 1773.22,-320.225 1764.61,-326.403 1770.35,-330.422"/>
</g>
<!-- 297 -->
<g id="node156" class="node"><title>297</title>
<polygon fill="#00ffff" stroke="black" points="1552,-320 1484,-320 1484,-284 1552,-284 1552,-320"/>
<text text-anchor="middle" x="1518" y="-298.4" font-family="Times Roman,serif" font-size="14.00">OrGate</text>
</g>
<!-- 243&#45;&gt;297 -->
<g id="edge136" class="edge"><title>243&#45;&gt;297</title>
<path fill="none" stroke="black" d="M1709,-373.859C1703.15,-369.217 1696.19,-364.641 1689,-362 1661.63,-351.938 1583.76,-367.676 1558,-354 1547.29,-348.316 1538.58,-338.372 1532.04,-328.691"/>
<polygon fill="black" stroke="black" points="1534.91,-326.664 1526.67,-320.005 1528.95,-330.35 1534.91,-326.664"/>
</g>
<!-- 244 -->
<g id="node133" class="node"><title>244</title>
<ellipse fill="#ffff00" stroke="black" cx="1511" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1511" y="-545.4" font-family="Times Roman,serif" font-size="14.00">ab</text>
</g>
<!-- 266 -->
<g id="node143" class="node"><title>266</title>
<polygon fill="#00ffff" stroke="black" points="1720,-640 1648,-640 1648,-604 1720,-604 1720,-640"/>
<text text-anchor="middle" x="1684" y="-618.4" font-family="Times Roman,serif" font-size="14.00">Inverter</text>
</g>
<!-- 244&#45;&gt;266 -->
<g id="edge144" class="edge"><title>244&#45;&gt;266</title>
<path fill="none" stroke="black" d="M1530.69,-561.852C1534.38,-564.033 1538.25,-566.178 1542,-568 1580.69,-586.814 1594.33,-587.457 1638.17,-603.775"/>
<polygon fill="black" stroke="black" points="1637.09,-607.108 1647.68,-607.382 1639.57,-600.563 1637.09,-607.108"/>
</g>
<!-- 244&#45;&gt;297 -->
<g id="edge138" class="edge"><title>244&#45;&gt;297</title>
<path fill="none" stroke="black" d="M1511.53,-530.435C1512.74,-487.58 1515.75,-381.527 1517.19,-330.424"/>
<polygon fill="black" stroke="black" points="1520.7,-330.204 1517.49,-320.109 1513.7,-330.006 1520.7,-330.204"/>
</g>
<!-- 246 -->
<g id="node135" class="node"><title>246</title>
<ellipse fill="#ffff00" stroke="black" cx="1764" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1764" y="-545.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 260 -->
<g id="node140" class="node"><title>260</title>
<polygon fill="#00ffff" stroke="black" points="1722,-494 1646,-494 1646,-458 1722,-458 1722,-494"/>
<text text-anchor="middle" x="1684" y="-472.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 246&#45;&gt;260 -->
<g id="edge121" class="edge"><title>246&#45;&gt;260</title>
<path fill="none" stroke="black" d="M1747.42,-533.874C1737.06,-524.419 1723.46,-512.009 1711.51,-501.107"/>
<polygon fill="black" stroke="black" points="1713.7,-498.361 1703.95,-494.206 1708.98,-503.532 1713.7,-498.361"/>
</g>
<!-- 247 -->
<g id="node136" class="node"><title>247</title>
<ellipse fill="#ffff00" stroke="black" cx="1684" cy="-549" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1684" y="-545.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 247&#45;&gt;260 -->
<g id="edge123" class="edge"><title>247&#45;&gt;260</title>
<path fill="none" stroke="black" d="M1684,-530.201C1684,-522.332 1684,-513.015 1684,-504.345"/>
<polygon fill="black" stroke="black" points="1687.5,-504.231 1684,-494.231 1680.5,-504.231 1687.5,-504.231"/>
</g>
<!-- 248&#45;&gt;246 -->
<g id="edge119" class="edge"><title>248&#45;&gt;246</title>
<path fill="none" stroke="black" d="M1770.02,-603.955C1769.15,-596.004 1768.11,-586.468 1767.13,-577.588"/>
<polygon fill="black" stroke="black" points="1770.61,-577.159 1766.04,-567.6 1763.65,-577.921 1770.61,-577.159"/>
</g>
<!-- 254&#45;&gt;244 -->
<g id="edge140" class="edge"><title>254&#45;&gt;244</title>
<path fill="none" stroke="black" d="M1571.98,-603.955C1560.86,-593.938 1546.96,-581.404 1535.23,-570.837"/>
<polygon fill="black" stroke="black" points="1537.29,-567.986 1527.52,-563.891 1532.61,-573.186 1537.29,-567.986"/>
</g>
<!-- 260&#45;&gt;242 -->
<g id="edge142" class="edge"><title>260&#45;&gt;242</title>
<path fill="none" stroke="black" d="M1677.58,-457.974C1673.34,-446.075 1667.7,-430.251 1662.89,-416.761"/>
<polygon fill="black" stroke="black" points="1666.07,-415.248 1659.41,-407.003 1659.47,-417.598 1666.07,-415.248"/>
</g>
<!-- 266&#45;&gt;247 -->
<g id="edge125" class="edge"><title>266&#45;&gt;247</title>
<path fill="none" stroke="black" d="M1684,-603.955C1684,-596.091 1684,-586.675 1684,-577.878"/>
<polygon fill="black" stroke="black" points="1687.5,-577.599 1684,-567.6 1680.5,-577.6 1687.5,-577.599"/>
</g>
<!-- 272 -->
<g id="node146" class="node"><title>272</title>
<ellipse fill="#ffff00" stroke="black" cx="1606" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1606" y="-225.4" font-family="Times Roman,serif" font-size="14.00">d</text>
</g>
<!-- 286 -->
<g id="node151" class="node"><title>286</title>
<polygon fill="#00ffff" stroke="black" points="1646,-174 1570,-174 1570,-138 1646,-138 1646,-174"/>
<text text-anchor="middle" x="1608" y="-152.4" font-family="Times Roman,serif" font-size="14.00">AndGate</text>
</g>
<!-- 272&#45;&gt;286 -->
<g id="edge130" class="edge"><title>272&#45;&gt;286</title>
<path fill="none" stroke="black" d="M1606.52,-210.201C1606.73,-202.332 1606.99,-193.015 1607.22,-184.345"/>
<polygon fill="black" stroke="black" points="1610.73,-184.323 1607.5,-174.231 1603.73,-184.132 1610.73,-184.323"/>
</g>
<!-- 273 -->
<g id="node147" class="node"><title>273</title>
<ellipse fill="#ffff00" stroke="black" cx="1733" cy="-229" rx="27" ry="18.3848"/>
<text text-anchor="middle" x="1733" y="-225.4" font-family="Times Roman,serif" font-size="14.00">e</text>
</g>
<!-- 273&#45;&gt;286 -->
<g id="edge132" class="edge"><title>273&#45;&gt;286</title>
<path fill="none" stroke="black" d="M1712.36,-216.946C1694.88,-206.74 1669.33,-191.817 1647.88,-179.292"/>
<polygon fill="black" stroke="black" points="1649.38,-176.113 1638.98,-174.092 1645.85,-182.157 1649.38,-176.113"/>
</g>
<!-- 274&#45;&gt;272 -->
<g id="edge128" class="edge"><title>274&#45;&gt;272</title>
<path fill="none" stroke="black" d="M1604.49,-283.955C1604.71,-276.091 1604.97,-266.675 1605.21,-257.878"/>
<polygon fill="black" stroke="black" points="1608.72,-257.692 1605.49,-247.6 1601.72,-257.5 1608.72,-257.692"/>
</g>
<!-- 280&#45;&gt;243 -->
<g id="edge150" class="edge"><title>280&#45;&gt;243</title>
<path fill="none" stroke="black" d="M1700.41,-320.003C1704.65,-331.897 1710.29,-347.72 1715.1,-361.213"/>
<polygon fill="black" stroke="black" points="1711.92,-362.728 1718.58,-370.974 1718.52,-360.379 1711.92,-362.728"/>
</g>
<!-- 286&#45;&gt;48 -->
<g id="edge214" class="edge"><title>286&#45;&gt;48</title>
<path fill="none" stroke="black" d="M1588.48,-137.951C1581.71,-132.32 1573.84,-126.431 1566,-122 1525.43,-99.0723 1474.65,-82.0527 1439.59,-71.8996"/>
<polygon fill="black" stroke="black" points="1440.27,-68.4543 1429.7,-69.0945 1438.36,-75.189 1440.27,-68.4543"/>
</g>
<!-- 292&#45;&gt;273 -->
<g id="edge134" class="edge"><title>292&#45;&gt;273</title>
<path fill="none" stroke="black" d="M1772.9,-283.955C1766.36,-274.942 1758.33,-263.892 1751.2,-254.07"/>
<polygon fill="black" stroke="black" points="1753.93,-251.872 1745.22,-245.836 1748.27,-255.985 1753.93,-251.872"/>
</g>
<!-- 297&#45;&gt;49 -->
<g id="edge216" class="edge"><title>297&#45;&gt;49</title>
<path fill="none" stroke="black" d="M1510.04,-283.951C1492.93,-247.366 1449.05,-164.354 1386,-122 1373.83,-113.825 1366.41,-121.805 1354,-114 1343.2,-107.204 1333.75,-96.862 1326.41,-87.112"/>
<polygon fill="black" stroke="black" points="1329.16,-84.9362 1320.52,-78.8003 1323.45,-88.9832 1329.16,-84.9362"/>
</g>
</g>
</svg>
<map version="0.9.0">
<!-- To view this file, download free mind mapping software FreeMind from http://freemind.sourceforge.net -->
<!--
Automatically generated by Xholon version 0.8, using Xholon2MindMap.java
Sun Apr 13 10:34:12 GMT-400 2014 1397399652973
model: SICP - A Simulator for Digital Circuits - N-Bit Adder
www.primordion.com/Xholon
-->
<node CREATED="1397399652973" ID="33" TEXT="Digital system">
<node CREATED="1397399652973" ID="34" POSITION="right" TEXT="A: number">
<node CREATED="1397399652973" ID="35" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="36" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="37" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="38" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="39" POSITION="right" TEXT="B: number">
<node CREATED="1397399652973" ID="40" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="41" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="42" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="43" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="44" POSITION="right" TEXT="S: number">
<node CREATED="1397399652973" ID="45" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="46" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="47" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="48" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="49" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="50" POSITION="right" TEXT="C: number">
<node CREATED="1397399652973" ID="51" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="52" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="53" TEXT="Wire">
</node>
<node CREATED="1397399652973" ID="54" TEXT="Wire">
</node>
</node>
<node CREATED="1397399652973" ID="55" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="56" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="57" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="58" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="59" TEXT="Half adder">
<node CREATED="1397399652973" ID="60" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="61" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="62" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="35" ENDARROW="None" ID="62350" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="40" ENDARROW="None" ID="62400" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="60" ENDARROW="Default" ID="62600" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="68" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="35" ENDARROW="None" ID="68350" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="40" ENDARROW="None" ID="68400" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="58" ENDARROW="Default" ID="68580" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="74" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="60" ENDARROW="None" ID="74600" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="61" ENDARROW="None" ID="74610" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="56" ENDARROW="Default" ID="74560" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="80" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="58" ENDARROW="None" ID="80580" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="61" ENDARROW="Default" ID="80610" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="85" TEXT="Half adder">
<node CREATED="1397399652973" ID="86" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="87" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="88" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="51" ENDARROW="None" ID="88510" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="56" ENDARROW="None" ID="88560" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="86" ENDARROW="Default" ID="88860" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="94" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="51" ENDARROW="None" ID="94510" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="56" ENDARROW="None" ID="94560" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="57" ENDARROW="Default" ID="94570" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="100" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="86" ENDARROW="None" ID="100860" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="87" ENDARROW="None" ID="100870" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="45" ENDARROW="Default" ID="100450" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="106" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="57" ENDARROW="None" ID="106570" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="87" ENDARROW="Default" ID="106870" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="111" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="57" ENDARROW="None" ID="111570" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="58" ENDARROW="None" ID="111580" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="52" ENDARROW="Default" ID="111520" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="117" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="118" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="119" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="120" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="121" TEXT="Half adder">
<node CREATED="1397399652973" ID="122" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="123" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="124" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="36" ENDARROW="None" ID="124360" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="41" ENDARROW="None" ID="124410" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="122" ENDARROW="Default" ID="1241220" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="130" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="36" ENDARROW="None" ID="130360" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="41" ENDARROW="None" ID="130410" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="120" ENDARROW="Default" ID="1301200" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="136" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="122" ENDARROW="None" ID="1361220" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="123" ENDARROW="None" ID="1361230" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="118" ENDARROW="Default" ID="1361180" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="142" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="120" ENDARROW="None" ID="1421200" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="123" ENDARROW="Default" ID="1421230" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="147" TEXT="Half adder">
<node CREATED="1397399652973" ID="148" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="149" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="150" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="52" ENDARROW="None" ID="150520" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="118" ENDARROW="None" ID="1501180" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="148" ENDARROW="Default" ID="1501480" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="156" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="52" ENDARROW="None" ID="156520" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="118" ENDARROW="None" ID="1561180" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="119" ENDARROW="Default" ID="1561190" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="162" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="148" ENDARROW="None" ID="1621480" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="149" ENDARROW="None" ID="1621490" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="46" ENDARROW="Default" ID="162460" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="168" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="119" ENDARROW="None" ID="1681190" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="149" ENDARROW="Default" ID="1681490" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="173" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="119" ENDARROW="None" ID="1731190" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="120" ENDARROW="None" ID="1731200" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="53" ENDARROW="Default" ID="173530" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="179" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="180" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="181" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="182" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="183" TEXT="Half adder">
<node CREATED="1397399652973" ID="184" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="185" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="186" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="37" ENDARROW="None" ID="186370" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="42" ENDARROW="None" ID="186420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="184" ENDARROW="Default" ID="1861840" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="192" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="37" ENDARROW="None" ID="192370" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="42" ENDARROW="None" ID="192420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="182" ENDARROW="Default" ID="1921820" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="198" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="184" ENDARROW="None" ID="1981840" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="185" ENDARROW="None" ID="1981850" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="180" ENDARROW="Default" ID="1981800" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="204" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="182" ENDARROW="None" ID="2041820" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="185" ENDARROW="Default" ID="2041850" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="209" TEXT="Half adder">
<node CREATED="1397399652973" ID="210" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="211" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="212" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="53" ENDARROW="None" ID="212530" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="180" ENDARROW="None" ID="2121800" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="210" ENDARROW="Default" ID="2122100" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="218" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="53" ENDARROW="None" ID="218530" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="180" ENDARROW="None" ID="2181800" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="181" ENDARROW="Default" ID="2181810" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="224" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="210" ENDARROW="None" ID="2242100" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="211" ENDARROW="None" ID="2242110" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="47" ENDARROW="Default" ID="224470" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="230" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="181" ENDARROW="None" ID="2301810" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="211" ENDARROW="Default" ID="2302110" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="235" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="181" ENDARROW="None" ID="2351810" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="182" ENDARROW="None" ID="2351820" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="54" ENDARROW="Default" ID="235540" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="241" POSITION="right" TEXT="Full adder">
<node CREATED="1397399652973" ID="242" TEXT="Q: wire">
</node>
<node CREATED="1397399652973" ID="243" TEXT="Kq: wire">
</node>
<node CREATED="1397399652973" ID="244" TEXT="Ab: wire">
</node>
<node CREATED="1397399652973" FOLDED="true" ID="245" TEXT="Half adder">
<node CREATED="1397399652973" ID="246" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="247" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="248" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="38" ENDARROW="None" ID="248380" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="43" ENDARROW="None" ID="248430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="246" ENDARROW="Default" ID="2482460" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="254" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="38" ENDARROW="None" ID="254380" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="43" ENDARROW="None" ID="254430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="244" ENDARROW="Default" ID="2542440" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="260" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="246" ENDARROW="None" ID="2602460" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="247" ENDARROW="None" ID="2602470" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="242" ENDARROW="Default" ID="2602420" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="266" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="244" ENDARROW="None" ID="2662440" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="247" ENDARROW="Default" ID="2662470" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" FOLDED="true" ID="271" TEXT="Half adder">
<node CREATED="1397399652973" ID="272" TEXT="D: wire">
</node>
<node CREATED="1397399652973" ID="273" TEXT="E: wire">
</node>
<node CREATED="1397399652973" ID="274" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="54" ENDARROW="None" ID="274540" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="242" ENDARROW="None" ID="2742420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="272" ENDARROW="Default" ID="2742720" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="280" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="54" ENDARROW="None" ID="280540" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="242" ENDARROW="None" ID="2802420" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="243" ENDARROW="Default" ID="2802430" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="286" TEXT="And gate">
<arrowlink COLOR="#B22222" DESTINATION="272" ENDARROW="None" ID="2862720" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="273" ENDARROW="None" ID="2862730" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="48" ENDARROW="Default" ID="286480" STARTARROW="None"/>
</node>
<node CREATED="1397399652973" ID="292" TEXT="Inverter">
<arrowlink COLOR="#B22222" DESTINATION="243" ENDARROW="None" ID="2922430" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="273" ENDARROW="Default" ID="2922730" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="297" TEXT="Or gate">
<arrowlink COLOR="#B22222" DESTINATION="243" ENDARROW="None" ID="2972430" STARTARROW="Default"/>
<arrowlink COLOR="#B22222" DESTINATION="244" ENDARROW="None" ID="2972440" STARTARROW="Default"/>
<arrowlink COLOR="#000080" DESTINATION="49" ENDARROW="Default" ID="297490" STARTARROW="None"/>
</node>
</node>
<node CREATED="1397399652973" ID="303" POSITION="right" TEXT="Sicp digital circuit02: petri net">
<arrowlink COLOR="#000080" DESTINATION="33" ENDARROW="Default" ID="303330" STARTARROW="None"/>
<node CREATED="1397399652973" ID="305" TEXT="Analysis petri net">
</node>
<node CREATED="1397399652973" ID="306" TEXT="Analysis c r n">
</node>
<node CREATED="1397399652973" ID="307" TEXT="Analysis cat">
</node>
</node>
<node CREATED="1397399652973" ID="308" POSITION="right" TEXT="Wire initializer">
<node CREATED="1397399652973" ID="310" TEXT="Wire initializerbehavior">
</node>
</node>
</node>
</map>
Display the source blob
Display the rendered blob
Raw
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
<?xml version="1.0" encoding="UTF-8"?>
<!--
Automatically generated by Xholon version 0.8.1, using Xholon2Sbml4PetriNets.java
Sun Apr 13 10:34:21 GMT-400 2014
www.primordion.com/Xholon
-->
<sbml xmlns="http://www.sbml.org/sbml/level2" level="2" version="1">
<model id="_1397399661502" name="SICP - A Simulator for Digital Circuits - N-Bit Adder">
<notes>
<body xmlns="http://www.w3.org/1999/xhtml">
<p>Xholon generated this SBML file from a Petri net model.
</p></body>
</notes>
<!-- Unit Definitions -->
<listOfUnitDefinitions>
<unitDefinition id="volume">
<listOfUnits>
<unit kind="litre" scale="-3" multiplier="1" offset="0"/>
</listOfUnits>
</unitDefinition>
<unitDefinition id="substance">
<listOfUnits>
<unit kind="item" exponent="1"/>
</listOfUnits>
</unitDefinition>
<unitDefinition id="ips">
<listOfUnits>
<unit kind="item" exponent="1"/>
<unit kind="second" exponent="-1"/>
</listOfUnits>
</unitDefinition>
</listOfUnitDefinitions>
<!-- List of Compartments -->
<listOfCompartments>
<compartment id="digitalSystem_33c" name="DigitalSystem" size="1"/>
<compartment id="a_number_34c" name="a" outside="digitalSystem_33c" size="1"/>
<compartment id="b_number_39c" name="b" outside="digitalSystem_33c" size="1"/>
<compartment id="s_number_44c" name="s" outside="digitalSystem_33c" size="1"/>
<compartment id="c_number_50c" name="c" outside="digitalSystem_33c" size="1"/>
<compartment id="fullAdder_55c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_59c" name="HalfAdder" outside="fullAdder_55c" size="1"/>
<compartment id="halfAdder_85c" name="HalfAdder" outside="fullAdder_55c" size="1"/>
<compartment id="fullAdder_117c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_121c" name="HalfAdder" outside="fullAdder_117c" size="1"/>
<compartment id="halfAdder_147c" name="HalfAdder" outside="fullAdder_117c" size="1"/>
<compartment id="fullAdder_179c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_183c" name="HalfAdder" outside="fullAdder_179c" size="1"/>
<compartment id="halfAdder_209c" name="HalfAdder" outside="fullAdder_179c" size="1"/>
<compartment id="fullAdder_241c" name="FullAdder" outside="digitalSystem_33c" size="1"/>
<compartment id="halfAdder_245c" name="HalfAdder" outside="fullAdder_241c" size="1"/>
<compartment id="halfAdder_271c" name="HalfAdder" outside="fullAdder_241c" size="1"/>
<compartment id="sicpDigitalCircuit02_petriNet_303c" name="sicpDigitalCircuit02" outside="digitalSystem_33c" size="1"/>
<compartment id="wireInitializer_308c" name="WireInitializer" outside="digitalSystem_33c" size="1"/>
<compartment id="wireInitializerbehavior_310c" name="WireInitializerbehavior" outside="wireInitializer_308c" size="1"/>
</listOfCompartments>
<!-- List of Species -->
<listOfSpecies>
<species id="wire_35s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_36s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_37s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_38s" name="Wire" compartment="a_number_34c" initialAmount="1"/>
<species id="wire_40s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_41s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_42s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_43s" name="Wire" compartment="b_number_39c" initialAmount="1"/>
<species id="wire_45s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_46s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_47s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_48s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_49s" name="Wire" compartment="s_number_44c" initialAmount="0"/>
<species id="wire_51s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_52s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_53s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="wire_54s" name="Wire" compartment="c_number_50c" initialAmount="0"/>
<species id="q_wire_56s" name="q" compartment="fullAdder_55c" initialAmount="0"/>
<species id="kq_wire_57s" name="kq" compartment="fullAdder_55c" initialAmount="0"/>
<species id="ab_wire_58s" name="ab" compartment="fullAdder_55c" initialAmount="0"/>
<species id="d_wire_60s" name="d" compartment="halfAdder_59c" initialAmount="0"/>
<species id="e_wire_61s" name="e" compartment="halfAdder_59c" initialAmount="0"/>
<species id="d_wire_86s" name="d" compartment="halfAdder_85c" initialAmount="0"/>
<species id="e_wire_87s" name="e" compartment="halfAdder_85c" initialAmount="0"/>
<species id="q_wire_118s" name="q" compartment="fullAdder_117c" initialAmount="0"/>
<species id="kq_wire_119s" name="kq" compartment="fullAdder_117c" initialAmount="0"/>
<species id="ab_wire_120s" name="ab" compartment="fullAdder_117c" initialAmount="0"/>
<species id="d_wire_122s" name="d" compartment="halfAdder_121c" initialAmount="0"/>
<species id="e_wire_123s" name="e" compartment="halfAdder_121c" initialAmount="0"/>
<species id="d_wire_148s" name="d" compartment="halfAdder_147c" initialAmount="0"/>
<species id="e_wire_149s" name="e" compartment="halfAdder_147c" initialAmount="0"/>
<species id="q_wire_180s" name="q" compartment="fullAdder_179c" initialAmount="0"/>
<species id="kq_wire_181s" name="kq" compartment="fullAdder_179c" initialAmount="0"/>
<species id="ab_wire_182s" name="ab" compartment="fullAdder_179c" initialAmount="0"/>
<species id="d_wire_184s" name="d" compartment="halfAdder_183c" initialAmount="0"/>
<species id="e_wire_185s" name="e" compartment="halfAdder_183c" initialAmount="0"/>
<species id="d_wire_210s" name="d" compartment="halfAdder_209c" initialAmount="0"/>
<species id="e_wire_211s" name="e" compartment="halfAdder_209c" initialAmount="0"/>
<species id="q_wire_242s" name="q" compartment="fullAdder_241c" initialAmount="0"/>
<species id="kq_wire_243s" name="kq" compartment="fullAdder_241c" initialAmount="0"/>
<species id="ab_wire_244s" name="ab" compartment="fullAdder_241c" initialAmount="0"/>
<species id="d_wire_246s" name="d" compartment="halfAdder_245c" initialAmount="0"/>
<species id="e_wire_247s" name="e" compartment="halfAdder_245c" initialAmount="0"/>
<species id="d_wire_272s" name="d" compartment="halfAdder_271c" initialAmount="0"/>
<species id="e_wire_273s" name="e" compartment="halfAdder_271c" initialAmount="0"/>
</listOfSpecies>
<!-- List of Reactions -->
<listOfReactions>
<reaction id="orGate_62r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_35s"/>
<speciesReference species="wire_40s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_60s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_68r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_35s"/>
<speciesReference species="wire_40s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_58s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_74r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_60s"/>
<speciesReference species="e_wire_61s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_56s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_80r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_58s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_61s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_88r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_51s"/>
<speciesReference species="q_wire_56s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_86s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_94r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_51s"/>
<speciesReference species="q_wire_56s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_57s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_100r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_86s"/>
<speciesReference species="e_wire_87s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_45s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_106r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_57s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_87s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_111r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_57s"/>
<speciesReference species="ab_wire_58s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_52s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_124r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_36s"/>
<speciesReference species="wire_41s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_122s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_130r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_36s"/>
<speciesReference species="wire_41s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_120s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_136r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_122s"/>
<speciesReference species="e_wire_123s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_118s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_142r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_120s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_123s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_150r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_52s"/>
<speciesReference species="q_wire_118s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_148s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_156r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_52s"/>
<speciesReference species="q_wire_118s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_119s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_162r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_148s"/>
<speciesReference species="e_wire_149s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_46s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_168r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_119s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_149s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_173r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_119s"/>
<speciesReference species="ab_wire_120s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_53s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_186r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_37s"/>
<speciesReference species="wire_42s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_184s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_192r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_37s"/>
<speciesReference species="wire_42s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_182s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_198r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_184s"/>
<speciesReference species="e_wire_185s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_180s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_204r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_182s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_185s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_212r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_53s"/>
<speciesReference species="q_wire_180s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_210s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_218r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_53s"/>
<speciesReference species="q_wire_180s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_181s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_224r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_210s"/>
<speciesReference species="e_wire_211s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_47s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_230r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_181s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_211s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_235r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_181s"/>
<speciesReference species="ab_wire_182s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_54s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_248r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_38s"/>
<speciesReference species="wire_43s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_246s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_254r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_38s"/>
<speciesReference species="wire_43s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="ab_wire_244s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_260r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_246s"/>
<speciesReference species="e_wire_247s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="q_wire_242s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_266r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="ab_wire_244s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_247s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_274r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_54s"/>
<speciesReference species="q_wire_242s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="d_wire_272s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_280r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="wire_54s"/>
<speciesReference species="q_wire_242s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="kq_wire_243s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="andGate_286r" name="AndGate" reversible="false">
<listOfReactants>
<speciesReference species="d_wire_272s"/>
<speciesReference species="e_wire_273s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_48s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="inverter_292r" name="Inverter" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_243s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="e_wire_273s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
<reaction id="orGate_297r" name="OrGate" reversible="false">
<listOfReactants>
<speciesReference species="kq_wire_243s"/>
<speciesReference species="ab_wire_244s"/>
</listOfReactants>
<listOfProducts>
<speciesReference species="wire_49s"/>
</listOfProducts>
<kineticLaw>
<math xmlns="http://www.w3.org/1998/Math/MathML">
<apply>
<plus/>
<cn> 0 </cn>
<cn> 0 </cn>
</apply>
</math>
</kineticLaw>
</reaction>
</listOfReactions>
</model>
</sbml>
<?xml version="1.0" encoding="UTF-8"?>
<!--Xholon Workbook http://www.primordion.com/Xholon/gwt/ MIT License, Copyright (C) Ken Webb, Sun Apr 13 2014 10:13:22 GMT-0400 (EDT)-->
<XholonWorkbook>
<Notes><![CDATA[
Xholon
------
Title: SICP - A Simulator for Digital Circuits - N-Bit Adder
Description:
Url: http://www.primordion.com/Xholon/gwt/
InternalName: 10531009
Keywords:
My Notes
--------
This Xholon Workbook extends earlier workbooks:
https://gist.github.com/kenwebb/10419442
https://gist.github.com/kenwebb/10483194
The SVG image of a 4-bit adder that's used in this workbook is from:
http://en.wikipedia.org/wiki/File:4-bit_ripple_carry_adder.svg
and is
"licensed under the Creative Commons Attribution-Share Alike 3.0 Unported license."
I'm basing some of the details of my design on Figure 116 in L.C. Pascoe's book "New Mathematics".
]]></Notes>
<_-.XholonClass>
<DigitalSystem/>
<Wire superClass="PlacePN"/>
<PrimitiveFunctionBox superClass="TransitionPN">
<Inverter/>
<AndGate/>
<OrGate/>
</PrimitiveFunctionBox>
<!-- containers -->
<Circuit>
<HalfAdder/>
<FullAdder/>
</Circuit>
<Number/>
<WireInitializer/>
</_-.XholonClass>
<xholonClassDetails>
</xholonClassDetails>
<DigitalSystem>
<!-- Test Cases
a b s s(binary) Tested
5 10 15 01111 OK (no carries required)
7 4 11 01011 OK
7 7 14 01110 OK
15 15 30 11110 OK
-->
<!-- the two n-bit numbers that will be added -->
<Number roleName="a">
<Attribute_int roleName="val">15</Attribute_int>
<Wire multiplicity="4"/>
</Number>
<Number roleName="b">
<Attribute_int roleName="val">15</Attribute_int>
<Wire multiplicity="4"/>
</Number>
<!-- the (n+1)-bit result of adding the two numbers, including the final carry -->
<Number roleName="s">
<Wire multiplicity="5"/>
</Number>
<!-- the n carries; the first one is redundant and always has a value of 0 -->
<Number roleName="c">
<Wire multiplicity="4"/>
</Number>
<FullAdder multiplicity="4">
<!-- these wires are internal to each Full Adder -->
<Wire roleName="q"/>
<Wire roleName="kq"/>
<Wire roleName="ab"/>
<HalfAdder>
<!-- these wires are internal to this Half Adder -->
<Wire roleName="d"/>
<Wire roleName="e"/>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='a']"/>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='b']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
</OutputArcs>
</OrGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='a']"/>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='b']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='ab']"/>
</OutputArcs>
</AndGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</OutputArcs>
</AndGate>
<Inverter kineticsType="KINETICS_LOGIC_NOT">
<InputArcs>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='ab']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</OutputArcs>
</Inverter>
</HalfAdder>
<HalfAdder>
<!-- these wires are internal to this Half Adder -->
<Wire roleName="d"/>
<Wire roleName="e"/>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='c']"/>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
</OutputArcs>
</OrGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='c']"/>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='q']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='kq']"/>
</OutputArcs>
</AndGate>
<AndGate kineticsType="KINETICS_LOGIC_AND">
<InputArcs>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='d']"/>
<InputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::DigitalSystem/Number[@roleName='s']"/>
</OutputArcs>
</AndGate>
<Inverter kineticsType="KINETICS_LOGIC_NOT">
<InputArcs>
<InputArc weight="1" connector="ancestor::FullAdder/Wire[@roleName='kq']"/>
</InputArcs>
<OutputArcs>
<OutputArc weight="1" connector="ancestor::HalfAdder/Wire[@roleName='e']"/>
</OutputArcs>
</Inverter>
</HalfAdder>
<OrGate kineticsType="KINETICS_LOGIC_OR">
<InputArcs>