Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035214863> ?p ?o ?g. }
- W3035214863 endingPage "112614" @default.
- W3035214863 startingPage "112598" @default.
- W3035214863 abstract "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." @default.
- W3035214863 created "2020-06-19" @default.
- W3035214863 creator A5003486126 @default.
- W3035214863 creator A5018531940 @default.
- W3035214863 creator A5028850927 @default.
- W3035214863 creator A5060193481 @default.
- W3035214863 creator A5067427042 @default.
- W3035214863 creator A5072091404 @default.
- W3035214863 creator A5091344667 @default.
- W3035214863 date "2020-01-01" @default.
- W3035214863 modified "2023-09-27" @default.
- W3035214863 title "Quantitative Characterization of Reconfigurable Transistor Logic Gates" @default.
- W3035214863 cites W1513300473 @default.
- W3035214863 cites W1521746323 @default.
- W3035214863 cites W1532041863 @default.
- W3035214863 cites W1543010140 @default.
- W3035214863 cites W1553511155 @default.
- W3035214863 cites W1590315663 @default.
- W3035214863 cites W1593428110 @default.
- W3035214863 cites W159799339 @default.
- W3035214863 cites W16586245 @default.
- W3035214863 cites W1714370737 @default.
- W3035214863 cites W1862398452 @default.
- W3035214863 cites W1984588379 @default.
- W3035214863 cites W1996048930 @default.
- W3035214863 cites W2000865099 @default.
- W3035214863 cites W2000992449 @default.
- W3035214863 cites W2018094844 @default.
- W3035214863 cites W2020279094 @default.
- W3035214863 cites W2021994802 @default.
- W3035214863 cites W2023808162 @default.
- W3035214863 cites W2031525781 @default.
- W3035214863 cites W2032197740 @default.
- W3035214863 cites W2038219610 @default.
- W3035214863 cites W2055215434 @default.
- W3035214863 cites W2082478577 @default.
- W3035214863 cites W2101508170 @default.
- W3035214863 cites W2117038347 @default.
- W3035214863 cites W2127920376 @default.
- W3035214863 cites W2131778900 @default.
- W3035214863 cites W2140066824 @default.
- W3035214863 cites W2156546571 @default.
- W3035214863 cites W2255815563 @default.
- W3035214863 cites W2312503676 @default.
- W3035214863 cites W2322754293 @default.
- W3035214863 cites W2346682451 @default.
- W3035214863 cites W2412411331 @default.
- W3035214863 cites W2465067896 @default.
- W3035214863 cites W2477025673 @default.
- W3035214863 cites W2481949062 @default.
- W3035214863 cites W2527393991 @default.
- W3035214863 cites W2574807302 @default.
- W3035214863 cites W2587608034 @default.
- W3035214863 cites W2593267253 @default.
- W3035214863 cites W275084143 @default.
- W3035214863 cites W2799158414 @default.
- W3035214863 cites W2808908725 @default.
- W3035214863 cites W2889418642 @default.
- W3035214863 cites W2994290403 @default.
- W3035214863 cites W2998784495 @default.
- W3035214863 cites W3016110371 @default.
- W3035214863 cites W3036970922 @default.
- W3035214863 cites W4238664186 @default.
- W3035214863 cites W4251019779 @default.
- W3035214863 cites W4251819110 @default.
- W3035214863 cites W4288083501 @default.
- W3035214863 cites W594157154 @default.
- W3035214863 doi "https://doi.org/10.1109/access.2020.3001352" @default.
- W3035214863 hasPublicationYear "2020" @default.
- W3035214863 type Work @default.
- W3035214863 sameAs 3035214863 @default.
- W3035214863 citedByCount "6" @default.
- W3035214863 countsByYear W30352148632021 @default.
- W3035214863 countsByYear W30352148632022 @default.
- W3035214863 countsByYear W30352148632023 @default.
- W3035214863 crossrefType "journal-article" @default.
- W3035214863 hasAuthorship W3035214863A5003486126 @default.
- W3035214863 hasAuthorship W3035214863A5018531940 @default.
- W3035214863 hasAuthorship W3035214863A5028850927 @default.
- W3035214863 hasAuthorship W3035214863A5060193481 @default.
- W3035214863 hasAuthorship W3035214863A5067427042 @default.
- W3035214863 hasAuthorship W3035214863A5072091404 @default.
- W3035214863 hasAuthorship W3035214863A5091344667 @default.
- W3035214863 hasBestOaLocation W30352148631 @default.
- W3035214863 hasConcept C113775141 @default.
- W3035214863 hasConcept C11413529 @default.
- W3035214863 hasConcept C119599485 @default.
- W3035214863 hasConcept C127413603 @default.
- W3035214863 hasConcept C131017901 @default.
- W3035214863 hasConcept C149635348 @default.
- W3035214863 hasConcept C153083717 @default.
- W3035214863 hasConcept C154945302 @default.
- W3035214863 hasConcept C157922185 @default.
- W3035214863 hasConcept C165801399 @default.
- W3035214863 hasConcept C172385210 @default.
- W3035214863 hasConcept C24326235 @default.
- W3035214863 hasConcept C2776221188 @default.
- W3035214863 hasConcept C37135326 @default.