diff --git a/images/ethane.svg b/images/ethane.svg
new file mode 100644
index 0000000..347471b
--- /dev/null
+++ b/images/ethane.svg
@@ -0,0 +1,90 @@
+<?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"><svg height='188pt' preserveAspectRatio='xMidYMid meet' viewBox='0.00 0.00 384.38 188.00' width='384pt' xmlns:xlink='http://www.w3.org/1999/xlink' xmlns='http://www.w3.org/2000/svg'>
+<g class='graph' id='graph0' transform='scale(1 1) rotate(0) translate(4 184)'>
+<title>ethane</title>
+<polygon fill='white' points='-4,4 -4,-184 380.38,-184 380.38,4 -4,4' stroke='none'/>
+
+<g class='node' id='node1'>
+<title>C_0</title>
+<ellipse cx='148.69' cy='-162' fill='none' rx='29.64' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='148.69' y='-157.32'>C_0</text>
+</g>
+
+<g class='node' id='node2'>
+<title>H_0</title>
+<ellipse cx='30.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='30.69' y='-85.33'>H_0</text>
+</g>
+
+<g class='edge' id='edge1'>
+<title>C_0&#45;&#45;H_0</title>
+<path d='M127.87,-148.65C106.43,-135.93 73.21,-116.22 51.7,-103.47' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node3'>
+<title>H_1</title>
+<ellipse cx='109.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='109.69' y='-85.33'>H_1</text>
+</g>
+
+<g class='edge' id='edge2'>
+<title>C_0&#45;&#45;H_1</title>
+<path d='M139.45,-144.41C133.23,-133.25 125.07,-118.6 118.87,-107.47' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node4'>
+<title>H_2</title>
+<ellipse cx='188.69' cy='-90' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='188.69' y='-85.33'>H_2</text>
+</g>
+
+<g class='edge' id='edge3'>
+<title>C_0&#45;&#45;H_2</title>
+<path d='M157.97,-144.76C164.43,-133.46 173.01,-118.44 179.46,-107.15' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node5'>
+<title>C_1</title>
+<ellipse cx='266.69' cy='-90' fill='none' rx='29.64' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='266.69' y='-85.33'>C_1</text>
+</g>
+
+<g class='edge' id='edge4'>
+<title>C_0&#45;&#45;C_1</title>
+<path d='M169.51,-148.65C191.08,-135.85 224.58,-115.98 246.07,-103.23' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node6'>
+<title>H_3</title>
+<ellipse cx='187.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='187.69' y='-13.32'>H_3</text>
+</g>
+
+<g class='edge' id='edge5'>
+<title>C_1&#45;&#45;H_3</title>
+<path d='M250.32,-74.5C236.76,-62.48 217.59,-45.49 204.04,-33.49' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node7'>
+<title>H_4</title>
+<ellipse cx='266.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='266.69' y='-13.32'>H_4</text>
+</g>
+
+<g class='edge' id='edge6'>
+<title>C_1&#45;&#45;H_4</title>
+<path d='M266.69,-71.7C266.69,-60.85 266.69,-46.92 266.69,-36.1' fill='none' stroke='black'/>
+</g>
+
+<g class='node' id='node8'>
+<title>H_5</title>
+<ellipse cx='345.69' cy='-18' fill='none' rx='30.69' ry='18' stroke='black'/>
+<text font-family='Times,serif' font-size='14.00' text-anchor='middle' x='345.69' y='-13.32'>H_5</text>
+</g>
+
+<g class='edge' id='edge7'>
+<title>C_1&#45;&#45;H_5</title>
+<path d='M283.06,-74.5C296.62,-62.48 315.79,-45.49 329.34,-33.49' fill='none' stroke='black'/>
+</g>
+</g>
+</svg>
diff --git a/images/litmus_sample.png b/images/litmus_sample.png
new file mode 100644
index 0000000..992be17
Binary files /dev/null and b/images/litmus_sample.png differ
diff --git a/images/test-diagram.svg b/images/test-diagram.svg
new file mode 100644
index 0000000..910b60e
--- /dev/null
+++ b/images/test-diagram.svg
@@ -0,0 +1,77 @@
+<?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"><svg height='287pt' preserveAspectRatio='xMidYMid meet' viewBox='0.00 0.00 149.25 286.75' width='149pt' xmlns:xlink='http://www.w3.org/1999/xlink' xmlns='http://www.w3.org/2000/svg'>
+<g class='graph' id='graph0' transform='scale(1 1) rotate(0) translate(0 286.75)'>
+<title>G</title>
+<polygon fill='white' points='0,0 0,-286.75 149.25,-286.75 149.25,0 0,0' stroke='none'/>
+
+<g class='node' id='node1'>
+<title>eiid0</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='107.25' y='-275.15'>a: Ry=1</text>
+</g>
+
+<g class='node' id='node2'>
+<title>eiid1</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='75.25' y='-207.9'>c: Wx=t</text>
+</g>
+
+<g class='edge' id='edge1'>
+<title>eiid0&#45;&gt;eiid1</title>
+<path d='M92.71,-270C86.11,-265.53 79.01,-259.37 75.1,-251.43 71.88,-244.62 71.2,-236.83 71.47,-229.76' fill='none' stroke='darkgreen' stroke-width='3'/>
+<path d='M93.83,-268.34C87.42,-264.02 80.33,-257.86 76.9,-250.57 73.88,-244.44 73.19,-236.65 73.47,-229.84' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='darkgreen' points='75.2,-230.19 73.58,-223.31 70.56,-229.7 75.2,-230.19' stroke='darkgreen' stroke-width='3'/>
+<text fill='darkgreen' font-family='Times,serif' font-size='11.00' text-anchor='start' x='76.25' y='-241.55'>fence</text>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='106.25' y='-241.55'>ppo</text>
+</g>
+
+<g class='node' id='node3'>
+<title>eiid2</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='75.25' y='-140.65'>d: Rx=t</text>
+</g>
+
+<g class='edge' id='edge2'>
+<title>eiid1&#45;&gt;eiid2</title>
+<path d='M75.25,-201.88C75.25,-192.27 75.25,-175.56 75.25,-162.62' fill='none' stroke='red' stroke-width='3'/>
+<polygon fill='red' points='77.58,-162.77 75.25,-156.11 72.92,-162.77 77.58,-162.77' stroke='red' stroke-width='3'/>
+<text fill='red' font-family='Times,serif' font-size='11.00' text-anchor='start' x='75.25' y='-173.3'>rf</text>
+</g>
+
+<g class='node' id='node4'>
+<title>eiid3</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='28.25' y='-73.4'>e: Rt=$v$</text>
+</g>
+
+<g class='edge' id='edge3'>
+<title>eiid2&#45;&gt;eiid3</title>
+<path d='M54.4,-134.58C46.24,-130.46 37.63,-124.55 32.5,-116.5 28.52,-110.26 27.14,-102.3 26.87,-95.18' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='indigo' points='29.32,-95.47 27.18,-88.73 24.65,-95.33 29.32,-95.47' stroke='indigo' stroke-width='3'/>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='33.25' y='-107.05'>addr</text>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='58.75' y='-107.05'>ppo</text>
+</g>
+
+<g class='node' id='node5'>
+<title>eiid4</title>
+<text font-family='Times,serif' font-size='8.00' text-anchor='middle' x='92.25' y='-6.15'>f: Wy=1</text>
+</g>
+
+<g class='edge' id='edge4'>
+<title>eiid2&#45;&gt;eiid4</title>
+<path d='M76.21,-134.87C78.83,-114.47 86.13,-57.55 89.91,-28.08' fill='none' stroke='indigo' stroke-width='3'/>
+<polygon fill='indigo' points='92.72,-28.54 91.26,-21.63 88.09,-27.94 92.72,-28.54' stroke='indigo' stroke-width='3'/>
+<text fill='indigo' font-family='Times,serif' font-size='11.00' text-anchor='start' x='85.25' y='-72.42'>ppo</text>
+</g>
+
+<g class='edge' id='edge5'>
+<title>eiid3&#45;&gt;eiid4</title>
+<path d='M35.1,-67.43C42.32,-59.39 54.11,-46.47 64.75,-35.75 68.38,-32.09 72.38,-28.24 76.17,-24.66' fill='none' stroke='black' stroke-width='3'/>
+<polygon fill='black' points='77.64,-26.68 80.93,-20.43 74.46,-23.27 77.64,-26.68' stroke='black' stroke-width='3'/>
+<text font-family='Times,serif' font-size='11.00' text-anchor='start' x='65.25' y='-38.8'>po</text>
+</g>
+
+<g class='edge' id='edge6'>
+<title>eiid4&#45;&gt;eiid0</title>
+<path d='M102.9,-17.38C117.04,-28.33 140.25,-50.09 140.25,-75.12 140.25,-211.62 140.25,-211.62 140.25,-211.62 140.25,-229.83 129.89,-248.12 120.78,-260.68' fill='none' stroke='red' stroke-width='3'/>
+<polygon fill='red' points='118.5,-259.38 116.25,-266.08 122.18,-262.25 118.5,-259.38' stroke='red' stroke-width='3'/>
+<text fill='red' font-family='Times,serif' font-size='11.00' text-anchor='start' x='140.25' y='-139.68'>rf</text>
+</g>
+</g>
+</svg>
diff --git a/images/z-type.svg b/images/z-type.svg
new file mode 100644
index 0000000..6069bb9
--- /dev/null
+++ b/images/z-type.svg
@@ -0,0 +1 @@
+<svg class='WaveDrom' height='56' preserveAspectRatio='xMidYMid meet' viewBox='0 0 800 56' width='800' xmlns='http://www.w3.org/2000/svg'><g font-family='sans-serif' font-size='14' font-weight='normal' text-anchor='middle' transform='translate(0.5,0.5)'><g transform='translate(4,21)'><g stroke='black' stroke-linecap='round' stroke-width='1'><line x2='715'/><line x2='715' y1='31' y2='31'/><line y2='31'/><line x1='715' x2='715' y2='31'/><line x1='693' x2='693' y2='3'/><line x1='693' x2='693' y1='31' y2='28'/><line x1='670' x2='670' y2='3'/><line x1='670' x2='670' y1='31' y2='28'/><line x1='648' x2='648' y2='3'/><line x1='648' x2='648' y1='31' y2='28'/><line x1='626' x2='626' y2='3'/><line x1='626' x2='626' y1='31' y2='28'/><line x1='603' x2='603' y2='3'/><line x1='603' x2='603' y1='31' y2='28'/><line x1='581' x2='581' y2='3'/><line x1='581' x2='581' y1='31' y2='28'/><line x1='559' x2='559' y2='31'/><line x1='536' x2='536' y2='3'/><line x1='536' x2='536' y1='31' y2='28'/><line x1='514' x2='514' y2='3'/><line x1='514' x2='514' y1='31' y2='28'/><line x1='492' x2='492' y2='3'/><line x1='492' x2='492' y1='31' y2='28'/><line x1='469' x2='469' y2='3'/><line x1='469' x2='469' y1='31' y2='28'/><line x1='447' x2='447' y2='31'/><line x1='425' x2='425' y2='3'/><line x1='425' x2='425' y1='31' y2='28'/><line x1='402' x2='402' y2='3'/><line x1='402' x2='402' y1='31' y2='28'/><line x1='380' x2='380' y2='31'/><line x1='358' x2='358' y2='3'/><line x1='358' x2='358' y1='31' y2='28'/><line x1='335' x2='335' y2='3'/><line x1='335' x2='335' y1='31' y2='28'/><line x1='313' x2='313' y2='3'/><line x1='313' x2='313' y1='31' y2='28'/><line x1='290' x2='290' y2='3'/><line x1='290' x2='290' y1='31' y2='28'/><line x1='268' x2='268' y2='31'/><line x1='246' x2='246' y2='3'/><line x1='246' x2='246' y1='31' y2='28'/><line x1='223' x2='223' y2='3'/><line x1='223' x2='223' y1='31' y2='28'/><line x1='201' x2='201' y2='3'/><line x1='201' x2='201' y1='31' y2='28'/><line x1='179' x2='179' y2='3'/><line x1='179' x2='179' y1='31' y2='28'/><line x1='156' x2='156' y2='31'/><line x1='134' x2='134' y2='3'/><line x1='134' x2='134' y1='31' y2='28'/><line x1='112' x2='112' y2='3'/><line x1='112' x2='112' y1='31' y2='28'/><line x1='89' x2='89' y2='3'/><line x1='89' x2='89' y1='31' y2='28'/><line x1='67' x2='67' y2='3'/><line x1='67' x2='67' y1='31' y2='28'/><line x1='45' x2='45' y2='3'/><line x1='45' x2='45' y1='31' y2='28'/><line x1='22' x2='22' y2='3'/><line x1='22' x2='22' y1='31' y2='28'/><line y2='31'/></g><g><g/><g transform='translate(11,-11)'><g transform='translate(693)'><text y='6'>0</text></g><g transform='translate(559)'><text y='6'>6</text></g><g transform='translate(536)'><text y='6'>7</text></g><g transform='translate(447)'><text y='6'>11</text></g><g transform='translate(425)'><text y='6'>12</text></g><g transform='translate(380)'><text y='6'>14</text></g><g transform='translate(358)'><text y='6'>15</text></g><g transform='translate(268)'><text y='6'>19</text></g><g transform='translate(246)'><text y='6'>20</text></g><g transform='translate(156)'><text y='6'>24</text></g><g transform='translate(134)'><text y='6'>25</text></g><g transform='translate(0)'><text y='6'>31</text></g></g><g transform='translate(11,15)'><g transform='translate(626)'><text y='6'><tspan>opcode</tspan></text></g><g transform='translate(492)'><text y='6'><tspan>rd</tspan></text></g><g transform='translate(402)'><text y='6'><tspan>func3</tspan></text></g><g transform='translate(313)'><text y='6'><tspan>rs1</tspan></text></g><g transform='translate(201)'><text y='6'><tspan>rs2</tspan></text></g><g transform='translate(67)'><text y='6'><tspan>funct7</tspan></text></g></g><g transform='translate(11,39)'/></g><g text-anchor='start'><g transform='translate(719,16)'><text y='6'><tspan>z-Type</tspan></text></g></g></g></g></svg>
\ No newline at end of file