Semantisches Browsen
Aus International Center for Computational Logic
We present a new approach for early analys … We present a new approach for early analysis of logic gates that is based on formal methods. As device technology research takes years and is very expensive, it is desirable to evaluate a technology's potential as early as possible, which is hard to do with current techniques. The actual impact of new devices on circuit design and their performance in complex circuits, are difficult to predict using simulation-based techniques. We propose a new approach that supplements simulation-based analysis and enables the development of standard cells alongside ongoing fundamental device research. Thereby, it potentially shortens the development cycle and time to market of a new technology. We develop a new discrete charge-transport model for electrical networks and a new flexible model of polarity-reconfigurable transistors as our formal basis. These models make circuit designs accessible to an analysis using probabilistic model checking and power our experiments. Besides worst-case analysis, we leverage measures hardly accessible to simulation such as average delay and average energy consumption per switching operation. We complement this with an automated design-space exploration that yields all reasonable implementations of a switching function built with reconfigurable transistors. After demonstrating the accuracy of our approach by comparison with finite element method analysis results, we undergo a comprehensive design-space exploration and analysis of the 3-minority function. The quantitative results are ranked with respect to various performance metrics, and we analyze the most promising circuit implementations in detail to derive a design guide that yields the best implementation for given statistics of the input patterns.or given statistics of the input patterns. +
@article{RMTHKBK2020,
author = {M. Raitza and S. M{\"{a}}rcker and J. Trommer and A. Heinzig and S.
Kl{\"{u}}ppelholz and C. Baier and A. Kumar},
title = {Quantitative Characterization of Reconfigurable Transistor Logic
Gates},
journal = {IEEE Access},
volume = {8},
year = {2020},
pages = {112598 - 112614},
doi = {10.1109/ACCESS.2020.3001352}
}
author = {M. Raitza and S. M{\"{a}}rcker and J. Trommer and A. Heinzig and S.
Kl{\"{u}}ppelholz and C. Baier and A. Kumar},
title = {Quantitative Characterization of Reconfigurable Transistor Logic
Gates},
journal = {IEEE Access},
volume = {8},
year = {2020},
pages = {112598 - 112614},
doi = {10.1109/ACCESS.2020.3001352}
}
Raitza +
M. Raitza, S. Märcker, J. Trommer, A. Hein … M. Raitza, S. Märcker, J. Trommer, A. Heinzig, S. Klüppelholz, C. Baier, A. Kumar<br/> '''[[Article2075903357|Quantitative Characterization of Reconfigurable Transistor Logic Gates]]''' <br/>__NOTOC__IEEE Access, 8:112598 - 112614, 2020<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article2075903357|Details]]075903357|Details]] +
M. Raitza, S. Märcker, J. Trommer, A. Hein … M. Raitza, S. Märcker, J. Trommer, A. Heinzig, S. Klüppelholz, C. Baier, A. Kumar<br/> '''[[Article2075903357/en|Quantitative Characterization of Reconfigurable Transistor Logic Gates]]''' <br/>__NOTOC__IEEE Access, 8:112598 - 112614, 2020<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article2075903357|Details]]075903357|Details]] +
Anzeigetitel„Anzeigetitel <span style="font-size:small;">(Display title of)</span>“ ist ein softwareseitig fest definiertes Attribut, das einen eindeutigen Anzeigetitel zu einem Objekt speichert und ihm zuweist. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Quantitative Characterization of Reconfigurable Transistor Logic Gates +
Verarbeitungsfehler„Verarbeitungsfehler <span style="font-size:small;">(Processing error)</span>“ ist ein softwareseitig fest definiertes Attribut, das Fehler im Zusammenhang mit der Verarbeitung von Eingaben sowie bei fehlerhaften Attribut-Datenwert-Zuweisungen (Annotationen) speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Zuletzt geändert„Zuletzt geändert <span style="font-size:small;">(Modification date)</span>“ ist ein softwareseitig fest definiertes Attribut, das das Datum der letzten Änderung einer Seite speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
5. März 2025, 13:45:19 +
Hat Abfrage„Hat Abfrage <span style="font-size:small;">(Has query)</span>“ ist ein softwareseitig fest definiertes Attribut, das die Metainformationen einer Abfrage als <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">Subobjekt</a> speichert. Es wird von <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a> zur Verfügung gestellt.
Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates +, Quantitative Characterization of Reconfigurable Transistor Logic Gates + und Quantitative Characterization of Reconfigurable Transistor Logic Gates +
