migrate jelib->delib

[fleet.git] / chips / marina / electric / kesselsCounter.delib / gasp_load.sch

diff --git a/chips/marina/electric/kesselsCounter.delib/gasp_load.sch b/chips/marina/electric/kesselsCounter.delib/gasp_load.sch
new file mode 100644 (file)
index 0000000..8163a13
--- /dev/null
+++ b/chips/marina/electric/kesselsCounter.delib/gasp_load.sch
@@ -0,0 +1,92 @@
+HkesselsCounter|8.10k
+
+# External Libraries:
+
+LcentersJ|centersJ
+
+LdriversM|driversM
+
+LredFive|redFive
+
+# Cell gasp_load;1{sch}
+Cgasp_load;1{sch}||schematic|1242942044308|1244150750797|
+Ngeneric:Facet-Center|art@0||0|0||||AV
+NOff-Page|conn@1||26|2||||
+NOff-Page|conn@3||26|54||||
+NOff-Page|conn@5||26|-12||||
+NOff-Page|conn@6||-7.5|-4||||
+NOff-Page|conn@7||26|13||||
+NOff-Page|conn@8||-64|11||||
+NOff-Page|conn@11||-39|9|||RR|
+IcentersJ:ctrAND3in30;1{ic}|ctrAND3i@0||-26|43|XR||D5G4;
+Igasp_load;1{ic}|gasp_loa@0||20.5|64|||D5G4;
+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
+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
+Ngeneric:Invisible-Pin|pin@6||-15.5|75|||||ART_message(D5G5;)Sgasp_load
+NWire_Pin|pin@13||-59|24||||
+NWire_Pin|pin@14||-59|11||||
+NWire_Pin|pin@30||-3.5|-11||||
+NWire_Pin|pin@31||-3.5|-4||||
+NWire_Pin|pin@43||-3.5|1||||
+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.]
+NWire_Pin|pin@59||-28.5|24||||
+NWire_Pin|pin@67||21|28||||
+NWire_Pin|pin@68||21|54||||
+NWire_Pin|pin@71||-26.5|24||||
+NWire_Pin|pin@72||21|24||||
+NWire_Pin|pin@73||21|13||||
+NWire_Pin|pin@108||-23.5|28||||
+Ngeneric:Invisible-Pin|pin@116||-15.5|70|||||ART_message(D5G2;)Sam 27 May 2009
+NWire_Pin|pin@117||-19|-13||||
+NWire_Pin|pin@118||-19|13||||
+NWire_Pin|pin@120||-26|54||||
+NWire_Pin|pin@122||-19|54||||
+NWire_Pin|pin@123||-19|3||||
+IdriversM:predDri10wMC;1{ic}|predDri1@0||-51|11|X||D5G4;
+IdriversM:sucANDdri10;1{ic}|sucANDdr@0||14|2|Y||D5G4;
+IdriversM:sucANDdri10;1{ic}|sucANDdr@1||14|-12|||D5G4;
+IdriversM:sucDri10;1{ic}|sucDri10@0||14.5|54|||D5G4;
+IdriversM:sucDri10;1{ic}|sucDri10@1||14|13|||D5G4;
+Awire|fire|D8G2;||0|sucDri10@1|in|10|13|pin@118||-19|13
+Awire|fire|D8G2;||1800|predDri1@0|in|-48|13|pin@118||-19|13
+Awire|fire|D8G2;||0|sucDri10@0|in|10.5|54|pin@122||-19|54
+Awire|load_bar|D8G2;||1800|inv@1|out|-48.5|24|pin@59||-28.5|24
+Awire|net@14|||0|predDri1@0|pred|-54|11|pin@14||-59|11
+Awire|net@15|||2700|pin@14||-59|11|pin@13||-59|24
+Awire|net@16|||1800|pin@13||-59|24|inv@1|in|-53.5|24
+Awire|net@17|||1800|conn@8|y|-62|11|pin@14||-59|11
+Awire|net@48|||1800|conn@6|y|-5.5|-4|pin@31||-3.5|-4
+Awire|net@49|||0|inv@3|in|-2|-11|pin@30||-3.5|-11
+Awire|net@51|||2700|pin@30||-3.5|-11|pin@31||-3.5|-4
+Awire|net@75|||2700|pin@31||-3.5|-4|pin@43||-3.5|1
+Awire|net@108|||1800|pin@68||21|54|conn@3|a|24|54
+Awire|net@111|||1800|sucDri10@0|succ|18.5|54|pin@68||21|54
+Awire|net@112|||2700|pin@67||21|28|pin@68||21|54
+Awire|net@113|||1800|pin@73||21|13|conn@7|a|24|13
+Awire|net@117|||1800|pin@71||-26.5|24|pin@72||21|24
+Awire|net@118|||1800|sucDri10@1|succ|18|13|pin@73||21|13
+Awire|net@119|||900|pin@72||21|24|pin@73||21|13
+Awire|net@162|||2700|pin@71||-26.5|24|ctrAND3i@0|inB|-26.5|37
+Awire|net@163|||2700|pin@59||-28.5|24|ctrAND3i@0|inA|-28.5|37
+Awire|net@164|||0|pin@67||21|28|pin@108||-23.5|28
+Awire|net@165|||2700|pin@108||-23.5|28|ctrAND3i@0|inC|-23.5|37
+Awire|net@178|||1800|sucANDdr@0|succ|19|2|conn@1|a|24|2
+Awire|net@183|||1800|sucANDdr@1|succ|19|-12|conn@5|a|24|-12
+Awire|net@195|||0|conn@11|y|-41|9|predDri1@0|mc|-48|9
+Awire|net@196|||0|sucANDdr@1|inA|9|-13|pin@117||-19|-13
+Awire|net@201|||2700|ctrAND3i@0|out|-26|49|pin@120||-26|54
+Awire|net@204|||1800|pin@120||-26|54|pin@122||-19|54
+Awire|net@205|||2700|pin@118||-19|13|pin@122||-19|54
+Awire|net@207|||900|pin@123||-19|3|pin@117||-19|-13
+Awire|net@208|||900|pin@118||-19|13|pin@123||-19|3
+Awire|net@209|||0|sucANDdr@0|inA|9|3|pin@123||-19|3
+Awire|net@210|||1800|pin@43||-3.5|1|sucANDdr@0|inB|9|1
+Awire|val|D8G2;||0|sucANDdr@1|inB|9|-11|inv@3|out|3|-11
+ELoad|load|D5G2;X-4;|conn@8|a|B
+Eout|loadNext|D5G2;X10;|conn@3|a|B
+Emc||D5G2;X-2;|conn@11|a|I
+Ezero|one|D5G2;X6;|conn@5|a|B
+Eval|val_bar|D5G2;X-4;|conn@6|a|B
+EL|waitingToEmpty|D6G2;X1;|conn@7|y|B
+Enext|zero|D5G2;X6;|conn@1|a|B
+X