Pass-Through Logic Optimizations in NEM Technology

Die Complementary Metal-Oxide-Semiconductor (CMOS) Technologie hat in den vergangenen Jahren entscheidende Fortschritte in Skalierung, Zuverlässigkeit und Erschwinglichkeit elektronischer Geräte ermöglicht. Dennoch haben grundlegende Einschränkungen, wie Leckströme und die Temperaturabhängigkeit der Schwellenspannung, ihre Anwendung in extremen Umgebungen beschränkt. Diese Herausforderungen haben das Interesse an nanoelektromechanischen (NEM) Relais neu belebt, die für den Einsatz in energieeffizienten Embedded-Geräten unter hohen Temperaturen oder starker Strahlung geeignet sind.Aufgrund ihrer physikalischen Eigenschaften vermeiden NEM-Relais Leistungsverluste durch Leckströme und zeigen eine hohe Temperaturresistenz. Eine breite Anwendung wird jedoch durch ihre vergleichsweise große Abmessung, die geringe Fertigungsausbeute sowie die eingeschränkte Unterstützung in modernen Synthesewerkzeugen erschwert.Diese Arbeit adressiert diese Herausforderungen, indem Optimierungstechniken untersucht werden, die die Anzahl der benötigten Bauelemente minimieren und deren Einfluss auf den längsten topologischen Pfad in NEM-basierten Schaltungen analysieren.Im Detail werden drei Ansätze betrachtet: Binary Decision Diagrams (BDDs), Biconditional Binary Decision Diagrams (BBDDs) und Multiplexer-Inverter Graphs (MuxIG). Experimentelle Ergebnisse zeigen, dass alle drei Methoden die Gesamtanzahl der Bauelemente im Vergleich zu herkömmlicher, CMOS-optimierter Synthese deutlich reduzieren. Unter ihnen erzielen die MuxIGs die größte Reduktion, zeigen Skalierbarkeit und bewältigen sämtliche getesteten Schaltungen. BDDs und BBDDs liefern vergleichbare Verbesserungen bei der Anzahl der Bauelemente und erreichen die beste Reduktion des längsten topologischen Pfads, sind jedoch in ihrer Skalierbarkeit bei großen Schaltungen eingeschränkt.Die Beiträge dieser Arbeit sind wie folgt: (i) eine Open-Source-Bibliothek zur BBDD-Manipulation, (ii) eine Erweiterung des Yosys-Synthese-Frameworks für NEM-spezifische Optimierungen sowie (iii) eine vergleichende Evaluation, die die Abwägungen zwischen unterschiedlichen Logik-Optimierungstechniken für NEM-Technologie hervorhebt. Zusammengenommen vertiefen diese Ergebnisse das Verständnis des NEM-basierten Schaltungsdesigns und leisten einen Beitrag zur Entwicklung spezialisierter EDA-Werkzeuge.