<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<project source="2.14.6" version="1.0">
This file is intended to be loaded by Logisim-evolution (https://github.com/reds-heig/logisim-evolution).
<lib desc="#Wiring" name="0"/>
  <lib desc="#Gates" name="1"/>
  <lib desc="#Plexers" name="2">
    <tool name="Multiplexer">
      <a name="enable" val="false"/>
    </tool>
    <tool name="Demultiplexer">
      <a name="enable" val="false"/>
    </tool>
  </lib>
  <lib desc="#Arithmetic" name="3"/>
  <lib desc="#Memory" name="4">
    <tool name="ROM">
      <a name="contents">addr/data: 8 8
0
</a>
    </tool>
  </lib>
  <lib desc="#I/O" name="5"/>
  <lib desc="#Base" name="6">
    <tool name="Text Tool">
      <a name="text" val=""/>
      <a name="font" val="SansSerif plain 12"/>
      <a name="halign" val="center"/>
      <a name="valign" val="base"/>
    </tool>
  </lib>
  <main name="main"/>
  <options>
    <a name="gateUndefined" val="ignore"/>
    <a name="simlimit" val="1000"/>
    <a name="simrand" val="0"/>
    <a name="tickmain" val="half_period"/>
  </options>
  <mappings>
    <tool lib="6" map="Button2" name="Menu Tool"/>
    <tool lib="6" map="Button3" name="Menu Tool"/>
    <tool lib="6" map="Ctrl Button1" name="Menu Tool"/>
  </mappings>
  <toolbar>
    <tool lib="6" name="Poke Tool"/>
    <tool lib="6" name="Edit Tool"/>
    <tool lib="6" name="Text Tool">
      <a name="text" val=""/>
      <a name="font" val="SansSerif plain 12"/>
      <a name="halign" val="center"/>
      <a name="valign" val="base"/>
    </tool>
    <sep/>
    <tool lib="0" name="Pin"/>
    <tool lib="0" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </tool>
    <tool lib="1" name="NOT Gate"/>
    <tool lib="1" name="AND Gate"/>
    <tool lib="1" name="OR Gate"/>
  </toolbar>
  <circuit name="main">
    <a name="circuit" val="main"/>
    <a name="clabel" val=""/>
    <a name="clabelup" val="east"/>
    <a name="clabelfont" val="SansSerif plain 12"/>
    <a name="circuitnamedbox" val="true"/>
    <a name="circuitvhdlpath" val=""/>
    <wire from="(180,340)" to="(180,350)"/>
    <wire from="(180,100)" to="(180,110)"/>
    <wire from="(670,520)" to="(710,520)"/>
    <wire from="(220,620)" to="(220,640)"/>
    <wire from="(580,140)" to="(580,160)"/>
    <wire from="(470,200)" to="(510,200)"/>
    <wire from="(510,200)" to="(600,200)"/>
    <wire from="(760,680)" to="(760,720)"/>
    <wire from="(780,460)" to="(780,500)"/>
    <wire from="(650,240)" to="(670,240)"/>
    <wire from="(280,660)" to="(310,660)"/>
    <wire from="(690,400)" to="(710,400)"/>
    <wire from="(240,440)" to="(240,480)"/>
    <wire from="(510,260)" to="(530,260)"/>
    <wire from="(170,480)" to="(190,480)"/>
    <wire from="(130,600)" to="(150,600)"/>
    <wire from="(210,680)" to="(230,680)"/>
    <wire from="(170,170)" to="(180,170)"/>
    <wire from="(620,460)" to="(620,520)"/>
    <wire from="(80,440)" to="(90,440)"/>
    <wire from="(750,590)" to="(750,640)"/>
    <wire from="(780,460)" to="(790,460)"/>
    <wire from="(600,680)" to="(600,730)"/>
    <wire from="(80,670)" to="(150,670)"/>
    <wire from="(80,710)" to="(150,710)"/>
    <wire from="(760,680)" to="(770,680)"/>
    <wire from="(680,570)" to="(680,580)"/>
    <wire from="(170,410)" to="(170,480)"/>
    <wire from="(560,260)" to="(600,260)"/>
    <wire from="(560,220)" to="(600,220)"/>
    <wire from="(560,100)" to="(600,100)"/>
    <wire from="(180,150)" to="(180,170)"/>
    <wire from="(580,670)" to="(580,700)"/>
    <wire from="(820,660)" to="(840,660)"/>
    <wire from="(840,440)" to="(860,440)"/>
    <wire from="(670,200)" to="(670,240)"/>
    <wire from="(80,390)" to="(110,390)"/>
    <wire from="(770,380)" to="(770,420)"/>
    <wire from="(580,140)" to="(600,140)"/>
    <wire from="(490,360)" to="(520,360)"/>
    <wire from="(660,580)" to="(680,580)"/>
    <wire from="(550,140)" to="(580,140)"/>
    <wire from="(580,610)" to="(610,610)"/>
    <wire from="(600,390)" to="(630,390)"/>
    <wire from="(80,600)" to="(100,600)"/>
    <wire from="(180,390)" to="(180,440)"/>
    <wire from="(680,360)" to="(680,480)"/>
    <wire from="(660,580)" to="(660,700)"/>
    <wire from="(560,360)" to="(630,360)"/>
    <wire from="(180,350)" to="(190,350)"/>
    <wire from="(180,390)" to="(190,390)"/>
    <wire from="(160,410)" to="(170,410)"/>
    <wire from="(180,110)" to="(190,110)"/>
    <wire from="(180,150)" to="(190,150)"/>
    <wire from="(200,690)" to="(210,690)"/>
    <wire from="(230,480)" to="(240,480)"/>
    <wire from="(80,640)" to="(150,640)"/>
    <wire from="(510,200)" to="(510,260)"/>
    <wire from="(670,200)" to="(680,200)"/>
    <wire from="(680,570)" to="(690,570)"/>
    <wire from="(740,590)" to="(750,590)"/>
    <wire from="(530,700)" to="(540,700)"/>
    <wire from="(570,700)" to="(580,700)"/>
    <wire from="(600,730)" to="(610,730)"/>
    <wire from="(690,390)" to="(690,400)"/>
    <wire from="(570,670)" to="(570,680)"/>
    <wire from="(240,370)" to="(300,370)"/>
    <wire from="(240,130)" to="(300,130)"/>
    <wire from="(90,430)" to="(90,440)"/>
    <wire from="(530,680)" to="(570,680)"/>
    <wire from="(670,610)" to="(670,640)"/>
    <wire from="(80,150)" to="(120,150)"/>
    <wire from="(80,190)" to="(120,190)"/>
    <wire from="(660,120)" to="(660,160)"/>
    <wire from="(80,360)" to="(110,360)"/>
    <wire from="(80,120)" to="(110,120)"/>
    <wire from="(80,80)" to="(110,80)"/>
    <wire from="(80,320)" to="(110,320)"/>
    <wire from="(580,670)" to="(600,670)"/>
    <wire from="(670,640)" to="(690,640)"/>
    <wire from="(690,420)" to="(710,420)"/>
    <wire from="(640,730)" to="(660,730)"/>
    <wire from="(730,180)" to="(750,180)"/>
    <wire from="(770,420)" to="(790,420)"/>
    <wire from="(750,640)" to="(770,640)"/>
    <wire from="(680,360)" to="(710,360)"/>
    <wire from="(680,480)" to="(710,480)"/>
    <wire from="(660,700)" to="(690,700)"/>
    <wire from="(660,740)" to="(690,740)"/>
    <wire from="(740,660)" to="(770,660)"/>
    <wire from="(760,440)" to="(790,440)"/>
    <wire from="(580,580)" to="(610,580)"/>
    <wire from="(220,640)" to="(230,640)"/>
    <wire from="(760,380)" to="(770,380)"/>
    <wire from="(660,730)" to="(660,740)"/>
    <wire from="(600,670)" to="(600,680)"/>
    <wire from="(180,440)" to="(240,440)"/>
    <wire from="(210,680)" to="(210,690)"/>
    <wire from="(470,100)" to="(520,100)"/>
    <wire from="(470,140)" to="(520,140)"/>
    <wire from="(580,460)" to="(620,460)"/>
    <wire from="(530,680)" to="(530,700)"/>
    <wire from="(690,400)" to="(690,420)"/>
    <wire from="(580,160)" to="(600,160)"/>
    <wire from="(640,580)" to="(660,580)"/>
    <wire from="(620,520)" to="(640,520)"/>
    <wire from="(670,610)" to="(690,610)"/>
    <wire from="(660,360)" to="(680,360)"/>
    <wire from="(660,160)" to="(680,160)"/>
    <wire from="(740,720)" to="(760,720)"/>
    <wire from="(760,500)" to="(780,500)"/>
    <wire from="(660,390)" to="(690,390)"/>
    <wire from="(640,610)" to="(670,610)"/>
    <wire from="(650,180)" to="(680,180)"/>
    <wire from="(90,430)" to="(110,430)"/>
    <wire from="(160,340)" to="(180,340)"/>
    <wire from="(160,100)" to="(180,100)"/>
    <wire from="(620,460)" to="(710,460)"/>
    <wire from="(600,680)" to="(690,680)"/>
    <wire from="(200,620)" to="(220,620)"/>
    <wire from="(560,100)" to="(560,220)"/>
    <wire from="(560,670)" to="(570,670)"/>
    <wire from="(550,100)" to="(560,100)"/>
    <wire from="(650,120)" to="(660,120)"/>
    <comp lib="0" loc="(80,360)" name="Pin"/>
    <comp lib="1" loc="(160,100)" name="AND Gate"/>
    <comp lib="0" loc="(560,670)" name="Pin"/>
    <comp lib="1" loc="(760,380)" name="AND Gate"/>
    <comp lib="0" loc="(310,660)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="1" loc="(660,390)" name="NOT Gate"/>
    <comp lib="1" loc="(740,660)" name="AND Gate"/>
    <comp lib="1" loc="(280,660)" name="OR Gate"/>
    <comp lib="0" loc="(300,370)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="6" loc="(708,21)" name="Text">
      <a name="text" val="Change input values to allow propagation of error values."/>
    </comp>
    <comp lib="0" loc="(80,440)" name="Pin"/>
    <comp lib="6" loc="(178,579)" name="Text">
      <a name="text" val="Periodically inserts a s-a-1 fault"/>
    </comp>
    <comp lib="6" loc="(114,243)" name="Text">
      <a name="text" val="Fault-free circuit"/>
    </comp>
    <comp lib="0" loc="(600,390)" name="Pin"/>
    <comp lib="0" loc="(750,180)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="1" loc="(730,180)" name="OR Gate">
      <a name="inputs" val="3"/>
    </comp>
    <comp lib="6" loc="(176,17)" name="Text">
      <a name="text" val="Fault Inserters: Y.K. Malaiya"/>
    </comp>
    <comp lib="1" loc="(760,500)" name="AND Gate"/>
    <comp lib="1" loc="(840,440)" name="OR Gate">
      <a name="inputs" val="3"/>
    </comp>
    <comp lib="6" loc="(276,526)" name="Text">
      <a name="text" val="Periodically inserts a s-a-0 fault"/>
    </comp>
    <comp lib="1" loc="(240,130)" name="OR Gate"/>
    <comp lib="0" loc="(860,440)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="0" loc="(580,580)" name="Pin"/>
    <comp lib="0" loc="(300,130)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="0" loc="(80,120)" name="Pin"/>
    <comp lib="1" loc="(200,690)" name="AND Gate"/>
    <comp lib="6" loc="(726,267)" name="Text">
      <a name="text" val="Fault-free circuit"/>
    </comp>
    <comp lib="1" loc="(160,410)" name="AND Gate"/>
    <comp lib="1" loc="(640,580)" name="NOT Gate"/>
    <comp lib="0" loc="(490,360)" name="Pin"/>
    <comp lib="1" loc="(660,360)" name="NOT Gate"/>
    <comp lib="1" loc="(760,440)" name="AND Gate"/>
    <comp loc="(570,700)" name="sa1demo"/>
    <comp lib="1" loc="(740,720)" name="AND Gate"/>
    <comp lib="0" loc="(840,660)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="1" loc="(650,240)" name="AND Gate"/>
    <comp lib="0" loc="(580,610)" name="Pin"/>
    <comp lib="1" loc="(550,100)" name="NOT Gate"/>
    <comp lib="1" loc="(640,610)" name="NOT Gate"/>
    <comp lib="1" loc="(240,370)" name="OR Gate"/>
    <comp lib="1" loc="(650,180)" name="AND Gate"/>
    <comp lib="1" loc="(650,120)" name="AND Gate"/>
    <comp lib="0" loc="(80,80)" name="Pin"/>
    <comp lib="0" loc="(80,150)" name="Pin"/>
    <comp lib="1" loc="(160,340)" name="AND Gate"/>
    <comp lib="0" loc="(80,320)" name="Pin"/>
    <comp lib="0" loc="(80,390)" name="Pin"/>
    <comp lib="1" loc="(550,140)" name="NOT Gate"/>
    <comp lib="1" loc="(560,260)" name="NOT Gate"/>
    <comp lib="0" loc="(580,460)" name="Pin"/>
    <comp lib="1" loc="(670,520)" name="NOT Gate"/>
    <comp lib="1" loc="(740,590)" name="AND Gate"/>
    <comp lib="1" loc="(640,730)" name="NOT Gate"/>
    <comp lib="1" loc="(820,660)" name="OR Gate">
      <a name="inputs" val="3"/>
    </comp>
    <comp lib="6" loc="(684,53)" name="Text">
      <a name="text" val="To start simulation, select Simulate&gt;Tick Enabled. "/>
    </comp>
    <comp loc="(220,480)" name="sa0demo">
      <a name="label" val="Sa0inserter"/>
    </comp>
    <comp lib="0" loc="(80,190)" name="Pin"/>
    <comp lib="1" loc="(170,170)" name="AND Gate"/>
    <comp lib="0" loc="(80,600)" name="Pin"/>
    <comp loc="(130,600)" name="sa1demo"/>
    <comp lib="1" loc="(200,620)" name="AND Gate"/>
    <comp lib="0" loc="(80,640)" name="Pin"/>
    <comp lib="0" loc="(80,670)" name="Pin"/>
    <comp lib="0" loc="(80,710)" name="Pin"/>
    <comp lib="0" loc="(470,200)" name="Pin"/>
    <comp lib="0" loc="(470,100)" name="Pin"/>
    <comp lib="0" loc="(470,140)" name="Pin"/>
    <comp loc="(550,360)" name="sa0demo">
      <a name="label" val="Sa0inserter"/>
    </comp>
  </circuit>
  <circuit name="sa1demo">
    <a name="circuit" val="sa1demo"/>
    <a name="clabel" val=""/>
    <a name="clabelup" val="east"/>
    <a name="clabelfont" val="SansSerif plain 12"/>
    <a name="circuitnamedbox" val="false"/>
    <a name="circuitvhdlpath" val=""/>
    <appear>
      <rect fill="none" height="19" stroke="#000000" width="33" x="48" y="61"/>
      <text fill="#c70000" font-family="SansSerif" font-size="12" text-anchor="middle" x="64" y="100">SA1inserter</text>
      <circ-port height="8" pin="80,100" width="8" x="46" y="66"/>
      <circ-port height="10" pin="170,120" width="10" x="75" y="65"/>
      <circ-anchor facing="east" height="6" width="6" x="77" y="67"/>
    </appear>
    <wire from="(80,140)" to="(100,140)"/>
    <wire from="(80,100)" to="(100,100)"/>
    <wire from="(150,120)" to="(170,120)"/>
    <comp lib="0" loc="(80,100)" name="Pin">
      <a name="label" val="x"/>
    </comp>
    <comp lib="0" loc="(80,140)" name="Clock"/>
    <comp lib="1" loc="(150,120)" name="OR Gate"/>
    <comp lib="0" loc="(170,120)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="label" val="xfaulty"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="6" loc="(127,196)" name="Text">
      <a name="text" val="YK Malaiya for CS530"/>
    </comp>
  </circuit>
  <circuit name="sa0demo">
    <a name="circuit" val="sa0demo"/>
    <a name="clabel" val=""/>
    <a name="clabelup" val="east"/>
    <a name="clabelfont" val="SansSerif plain 12"/>
    <a name="circuitnamedbox" val="false"/>
    <a name="circuitvhdlpath" val=""/>
    <appear>
      <rect fill="none" height="18" stroke="#000000" stroke-width="2" width="32" x="50" y="61"/>
      <text fill="#ba0000" font-family="SansSerif" font-size="12" text-anchor="middle" x="61" y="96">Sa0inserter</text>
      <circ-port height="8" pin="50,120" width="8" x="46" y="66"/>
      <circ-port height="10" pin="160,140" width="10" x="85" y="65"/>
      <circ-anchor facing="east" height="6" width="6" x="77" y="67"/>
    </appear>
    <wire from="(130,140)" to="(160,140)"/>
    <wire from="(50,160)" to="(80,160)"/>
    <wire from="(50,120)" to="(80,120)"/>
    <comp lib="0" loc="(50,160)" name="Clock"/>
    <comp lib="1" loc="(130,140)" name="AND Gate"/>
    <comp lib="0" loc="(160,140)" name="Pin">
      <a name="facing" val="west"/>
      <a name="output" val="true"/>
      <a name="label" val="xfaulty"/>
      <a name="labelloc" val="east"/>
    </comp>
    <comp lib="0" loc="(50,120)" name="Pin">
      <a name="label" val="x"/>
    </comp>
    <comp lib="6" loc="(108,221)" name="Text">
      <a name="text" val="YK Malaiya for CS530"/>
    </comp>
  </circuit>
</project>
