chips/marina/electric/kesselsCounter.delib/gasp_load.sch

   1 HkesselsCounter|8.10k
   2
   3 # External Libraries:
   4
   5 LcentersJ|centersJ
   6
   7 LdriversM|driversM
   8
   9 LredFive|redFive
  10
  11 # Cell gasp_load;1{sch}
  12 Cgasp_load;1{sch}||schematic|1242942044308|1244150750797|
  13 Ngeneric:Facet-Center|art@0||0|0||||AV
  14 NOff-Page|conn@1||26|2||||
  15 NOff-Page|conn@3||26|54||||
  16 NOff-Page|conn@5||26|-12||||
  17 NOff-Page|conn@6||-7.5|-4||||
  18 NOff-Page|conn@7||26|13||||
  19 NOff-Page|conn@8||-64|11||||
  20 NOff-Page|conn@11||-39|9|||RR|
  21 IcentersJ:ctrAND3in30;1{ic}|ctrAND3i@0||-26|43|XR||D5G4;
  22 Igasp_load;1{ic}|gasp_loa@0||20.5|64|||D5G4;
  23 IredFive:inv;1{ic}|inv@1||-51|24|||D5G4;|ATTR_Delay(D5G1;NPX2;Y4;)I100|ATTR_X(D5FLeave alone;G1.5;NOLPX5.5;Y-3.5;)S5|ATTR_drive0(P)Sstrong0|ATTR_drive1(P)Sstrong1
  24 IredFive:inv;1{ic}|inv@3||0.5|-11|||D5G4;|ATTR_Delay(D5G1;NPX2;Y-2;)I100|ATTR_X(D5FLeave alone;G1.5;NOLPX1.5;Y2;)S5|ATTR_drive0(P)Sstrong0|ATTR_drive1(P)Sstrong1
  25 Ngeneric:Invisible-Pin|pin@6||-15.5|75|||||ART_message(D5G5;)Sgasp_load
  26 NWire_Pin|pin@13||-59|24||||
  27 NWire_Pin|pin@14||-59|11||||
  28 NWire_Pin|pin@30||-3.5|-11||||
  29 NWire_Pin|pin@31||-3.5|-4||||
  30 NWire_Pin|pin@43||-3.5|1||||
  31 Ngeneric:Invisible-Pin|pin@49||-32|62|||||ART_message(D5G2;)S[Fire signal does not need to be conditioned on emptiness,"of \"zero\" and \"one\" because we can prove that",those wires will ALWAYS be empty,whenever L is empty.]
  32 NWire_Pin|pin@59||-28.5|24||||
  33 NWire_Pin|pin@67||21|28||||
  34 NWire_Pin|pin@68||21|54||||
  35 NWire_Pin|pin@71||-26.5|24||||
  36 NWire_Pin|pin@72||21|24||||
  37 NWire_Pin|pin@73||21|13||||
  38 NWire_Pin|pin@108||-23.5|28||||
  39 Ngeneric:Invisible-Pin|pin@116||-15.5|70|||||ART_message(D5G2;)Sam 27 May 2009
  40 NWire_Pin|pin@117||-19|-13||||
  41 NWire_Pin|pin@118||-19|13||||
  42 NWire_Pin|pin@120||-26|54||||
  43 NWire_Pin|pin@122||-19|54||||
  44 NWire_Pin|pin@123||-19|3||||
  45 IdriversM:predDri10wMC;1{ic}|predDri1@0||-51|11|X||D5G4;
  46 IdriversM:sucANDdri10;1{ic}|sucANDdr@0||14|2|Y||D5G4;
  47 IdriversM:sucANDdri10;1{ic}|sucANDdr@1||14|-12|||D5G4;
  48 IdriversM:sucDri10;1{ic}|sucDri10@0||14.5|54|||D5G4;
  49 IdriversM:sucDri10;1{ic}|sucDri10@1||14|13|||D5G4;
  50 Awire|fire|D8G2;||0|sucDri10@1|in|10|13|pin@118||-19|13
  51 Awire|fire|D8G2;||1800|predDri1@0|in|-48|13|pin@118||-19|13
  52 Awire|fire|D8G2;||0|sucDri10@0|in|10.5|54|pin@122||-19|54
  53 Awire|load_bar|D8G2;||1800|inv@1|out|-48.5|24|pin@59||-28.5|24
  54 Awire|net@14|||0|predDri1@0|pred|-54|11|pin@14||-59|11
  55 Awire|net@15|||2700|pin@14||-59|11|pin@13||-59|24
  56 Awire|net@16|||1800|pin@13||-59|24|inv@1|in|-53.5|24
  57 Awire|net@17|||1800|conn@8|y|-62|11|pin@14||-59|11
  58 Awire|net@48|||1800|conn@6|y|-5.5|-4|pin@31||-3.5|-4
  59 Awire|net@49|||0|inv@3|in|-2|-11|pin@30||-3.5|-11
  60 Awire|net@51|||2700|pin@30||-3.5|-11|pin@31||-3.5|-4
  61 Awire|net@75|||2700|pin@31||-3.5|-4|pin@43||-3.5|1
  62 Awire|net@108|||1800|pin@68||21|54|conn@3|a|24|54
  63 Awire|net@111|||1800|sucDri10@0|succ|18.5|54|pin@68||21|54
  64 Awire|net@112|||2700|pin@67||21|28|pin@68||21|54
  65 Awire|net@113|||1800|pin@73||21|13|conn@7|a|24|13
  66 Awire|net@117|||1800|pin@71||-26.5|24|pin@72||21|24
  67 Awire|net@118|||1800|sucDri10@1|succ|18|13|pin@73||21|13
  68 Awire|net@119|||900|pin@72||21|24|pin@73||21|13
  69 Awire|net@162|||2700|pin@71||-26.5|24|ctrAND3i@0|inB|-26.5|37
  70 Awire|net@163|||2700|pin@59||-28.5|24|ctrAND3i@0|inA|-28.5|37
  71 Awire|net@164|||0|pin@67||21|28|pin@108||-23.5|28
  72 Awire|net@165|||2700|pin@108||-23.5|28|ctrAND3i@0|inC|-23.5|37
  73 Awire|net@178|||1800|sucANDdr@0|succ|19|2|conn@1|a|24|2
  74 Awire|net@183|||1800|sucANDdr@1|succ|19|-12|conn@5|a|24|-12
  75 Awire|net@195|||0|conn@11|y|-41|9|predDri1@0|mc|-48|9
  76 Awire|net@196|||0|sucANDdr@1|inA|9|-13|pin@117||-19|-13
  77 Awire|net@201|||2700|ctrAND3i@0|out|-26|49|pin@120||-26|54
  78 Awire|net@204|||1800|pin@120||-26|54|pin@122||-19|54
  79 Awire|net@205|||2700|pin@118||-19|13|pin@122||-19|54
  80 Awire|net@207|||900|pin@123||-19|3|pin@117||-19|-13
  81 Awire|net@208|||900|pin@118||-19|13|pin@123||-19|3
  82 Awire|net@209|||0|sucANDdr@0|inA|9|3|pin@123||-19|3
  83 Awire|net@210|||1800|pin@43||-3.5|1|sucANDdr@0|inB|9|1
  84 Awire|val|D8G2;||0|sucANDdr@1|inB|9|-11|inv@3|out|3|-11
  85 ELoad|load|D5G2;X-4;|conn@8|a|B
  86 Eout|loadNext|D5G2;X10;|conn@3|a|B
  87 Emc||D5G2;X-2;|conn@11|a|I
  88 Ezero|one|D5G2;X6;|conn@5|a|B
  89 Eval|val_bar|D5G2;X-4;|conn@6|a|B
  90 EL|waitingToEmpty|D6G2;X1;|conn@7|y|B
  91 Enext|zero|D5G2;X6;|conn@1|a|B
  92 X