Qualitätsorientierte Synthese großer Funktionen in reversibler Logik

这是一件非常重要的事情，因为这是一件非常重要的事情。计算机和芯片正在寻找更多的东西。韦特尔·韦尔贝塞龙根被重新任命为错误演员。这是一种犯罪行为，他不相信这是一件很大的事情。Sit den 70 er Jahren Hat Sich Anzahl an Komponenten auf einem Schaltkreis ca.alle 18 Monate Vertopelt.RECHNET MAN Dieselle Wachstum für die Zukunft Hoch，erreicht man zwangsläufig in etwa 20 Jahren die atare Ebene.这是一个很难解决的问题，也是一个很大的问题。他认为这是一种传统的替代技术。可逆的物流业在此为您提供服务。我是Gegensatz zu传统者Logik，是可逆的Schaltkreise Realisiert；das hei？t，Aus einer Belegung der Ausgänge Schlieässt Sauf auf de Belegung deränge Schlieün en.安文东在量子计算、光计算和DNA计算领域找到了自己的研究方向。Darüber hinaus kann可逆Logik im Bereich des Low-Power Design，der Nano Technology，der Kinktograph Sowie be Kodierungen(z.B.von Musik oder Video)verwendet wenden。所有这些都是传统意义上的可逆物流。因此，我认为这是一种错误。为了诊断焦虑情绪，我们对此进行了验证。Bisher ist死于Nur für relativ kleine Funktionen BZW.Schaltkreise glungen。Im Rahman des Projektes Sollen zunächst Methoden zur Synthes von groçen Reversiblen Funktionen auf Gatterebene entwickelt，analysiert and augewertet den.这是一种自动检测和诊断沙尔特克雷森发电厂的方法。其结果是卫理公会的结果是，所有的人都是这样的。

Die enormen Fortschritte der Halbleiterindustrie in den vergangenen Jahrzehnten haben dazu geführt, dass integrierte Schaltungen mittlerweile jeden Bereich des alltäglichen Lebens erfassen. Computer und Mikrochips sind unersetzlich geworden. Weitere Verbesserungen werden regelrecht erwartet. Dabei ist offensichtlich, dass die Entwicklung der vergangenen Jahre nicht beliebig fortgesetzt werden kann. Seit den 70er Jahren hat sich die Anzahl an Komponenten auf einem Schaltkreis ca. alle 18 Monate verdoppelt. Rechnet man dieses exponentielle Wachstum für die Zukunft hoch, erreicht man zwangsläufig in etwa 20 Jahren die atomare Ebene. Darüber hinaus wird der Energieverlust und verbunden damit die Wärmeabgabe von aktuellen Schaltkreisen zu einem immer größeren Problem. Daher wird derzeit intensiv an Alternativen zu traditionellen Technologien (wie CMOS) geforscht. Reversible Logik bietet hier viel versprechende Möglichkeiten. Im Gegensatz zu traditioneller Logik, werden dabei reversible Schaltkreise realisiert; das heißt, aus einer Belegung der Ausgänge lässt sich auch auf die Belegung der Eingänge schließen. Dies findet Anwendung in aufkommenden neuen Technologien wie Quantum Computing, Optical Computing oder DNA Computing. Darüber hinaus kann reversible Logik im Bereich des Low-Power Designs, der Nanotechnologie, der Kryptographie sowie bei Kodierungen (z.B. von Musik oder Videos) verwendet werden. Allerdings unterscheidet sich der Entwurfsablauf für reversible Logik zum Teil deutlich von dem für traditionelle Schaltkreise. So sind zum Beispiel Verzweigungen (FANOUTs) oder Speicherelemente (FlipFlops) nicht erlaubt. Entsprechend müssen die Verfahren zur Synthese, Verifikation oder Diagnose angepasst bzw. neu entwickelt werden. Bisher ist dies nur für relativ kleine Funktionen bzw. Schaltkreise gelungen. Im Rahmen des Projektes sollen zunächst Methoden zur Synthese von großen reversiblen Funktionen auf Gatterebene entwickelt, analysiert und ausgewertet werden. Da sich die Syntheseergebnisse für größere Funktionen nicht mehr händisch überprüfen lassen, ist darüber hinaus die Entwicklung automatisierter Verfahren zur Verifikation und Diagnose von reversiblen Schaltkreisen geplant. Die resultierenden Methoden sollen anschließend in einem einheitlichen Entwurfsablauf zusammengeführt werden.