FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2028049138> ?p ?o ?g. }

• W2028049138 endingPage "1483" @default.
• W2028049138 startingPage "1473" @default.
• W2028049138 abstract "Recently, single-electron transistors (SETs) have been attracting substantial attention and are considered candidate devices for future integrated circuits due to their ultralow power consumption. To realize SETs, a binary decision diagram-based SET array is proposed as a suitable candidate for implementing Boolean circuits. Then, some works started developing computer-aided design techniques for this new architecture. However, most of them focused on the development of mapping techniques. How to verify the mapping results is still an open problem. Thus, in this paper, we address this problem and develop a satisfiability (SAT)-based verification method. We propose a transformation approach to model the functionality of a mapped SET array as a conjunctive normal form formula. Then, the problem that whether the SET array is functionally equivalent to its specification circuit can be solved with a SAT solver. The experimental results show that the proposed method can successfully verify correct and incorrect SET array implementations with reasonable verification time." @default.
• W2028049138 created "2016-06-24" @default.
• W2028049138 creator A5002562583 @default.
• W2028049138 creator A5014406956 @default.
• W2028049138 creator A5070752593 @default.
• W2028049138 date "2013-10-01" @default.
• W2028049138 modified "2023-09-25" @default.
• W2028049138 title "Verification of Reconfigurable Binary Decision Diagram-Based Single-Electron Transistor Arrays" @default.
• W2028049138 cites W2009439672 @default.
• W2028049138 cites W2014199868 @default.
• W2028049138 cites W2022379466 @default.
• W2028049138 cites W2025257466 @default.
• W2028049138 cites W2029749677 @default.
• W2028049138 cites W2050129280 @default.
• W2028049138 cites W2051797285 @default.
• W2028049138 cites W2065097712 @default.
• W2028049138 cites W2080267935 @default.
• W2028049138 cites W2112215441 @default.
• W2028049138 cites W2147256432 @default.
• W2028049138 cites W2152727794 @default.
• W2028049138 cites W2159022075 @default.
• W2028049138 cites W2169337913 @default.
• W2028049138 cites W4247353163 @default.
• W2028049138 cites W93754787 @default.
• W2028049138 cites W4235821779 @default.
• W2028049138 doi "https://doi.org/10.1109/tcad.2013.2267453" @default.
• W2028049138 hasPublicationYear "2013" @default.
• W2028049138 type Work @default.
• W2028049138 sameAs 2028049138 @default.
• W2028049138 citedByCount "10" @default.
• W2028049138 countsByYear W20280491382014 @default.
• W2028049138 countsByYear W20280491382015 @default.
• W2028049138 countsByYear W20280491382016 @default.
• W2028049138 countsByYear W20280491382017 @default.
• W2028049138 countsByYear W20280491382018 @default.
• W2028049138 crossrefType "journal-article" @default.
• W2028049138 hasAuthorship W2028049138A5002562583 @default.
• W2028049138 hasAuthorship W2028049138A5014406956 @default.
• W2028049138 hasAuthorship W2028049138A5070752593 @default.
• W2028049138 hasConcept C104317684 @default.
• W2028049138 hasConcept C111919701 @default.
• W2028049138 hasConcept C113775141 @default.
• W2028049138 hasConcept C11413529 @default.
• W2028049138 hasConcept C118524514 @default.
• W2028049138 hasConcept C119599485 @default.
• W2028049138 hasConcept C127413603 @default.
• W2028049138 hasConcept C134146338 @default.
• W2028049138 hasConcept C177264268 @default.
• W2028049138 hasConcept C185592680 @default.
• W2028049138 hasConcept C187455244 @default.
• W2028049138 hasConcept C199360897 @default.
• W2028049138 hasConcept C204241405 @default.
• W2028049138 hasConcept C2778770139 @default.
• W2028049138 hasConcept C3309909 @default.
• W2028049138 hasConcept C33923547 @default.
• W2028049138 hasConcept C41008148 @default.
• W2028049138 hasConcept C48372109 @default.
• W2028049138 hasConcept C530198007 @default.
• W2028049138 hasConcept C55493867 @default.
• W2028049138 hasConcept C6943359 @default.
• W2028049138 hasConcept C78401558 @default.
• W2028049138 hasConcept C80444323 @default.
• W2028049138 hasConcept C94375191 @default.
• W2028049138 hasConceptScore W2028049138C104317684 @default.
• W2028049138 hasConceptScore W2028049138C111919701 @default.
• W2028049138 hasConceptScore W2028049138C113775141 @default.
• W2028049138 hasConceptScore W2028049138C11413529 @default.
• W2028049138 hasConceptScore W2028049138C118524514 @default.
• W2028049138 hasConceptScore W2028049138C119599485 @default.
• W2028049138 hasConceptScore W2028049138C127413603 @default.
• W2028049138 hasConceptScore W2028049138C134146338 @default.
• W2028049138 hasConceptScore W2028049138C177264268 @default.
• W2028049138 hasConceptScore W2028049138C185592680 @default.
• W2028049138 hasConceptScore W2028049138C187455244 @default.
• W2028049138 hasConceptScore W2028049138C199360897 @default.
• W2028049138 hasConceptScore W2028049138C204241405 @default.
• W2028049138 hasConceptScore W2028049138C2778770139 @default.
• W2028049138 hasConceptScore W2028049138C3309909 @default.
• W2028049138 hasConceptScore W2028049138C33923547 @default.
• W2028049138 hasConceptScore W2028049138C41008148 @default.
• W2028049138 hasConceptScore W2028049138C48372109 @default.
• W2028049138 hasConceptScore W2028049138C530198007 @default.
• W2028049138 hasConceptScore W2028049138C55493867 @default.
• W2028049138 hasConceptScore W2028049138C6943359 @default.
• W2028049138 hasConceptScore W2028049138C78401558 @default.
• W2028049138 hasConceptScore W2028049138C80444323 @default.
• W2028049138 hasConceptScore W2028049138C94375191 @default.
• W2028049138 hasIssue "10" @default.
• W2028049138 hasLocation W20280491381 @default.
• W2028049138 hasOpenAccess W2028049138 @default.
• W2028049138 hasPrimaryLocation W20280491381 @default.
• W2028049138 hasRelatedWork W1483234894 @default.
• W2028049138 hasRelatedWork W1499470128 @default.
• W2028049138 hasRelatedWork W1579329129 @default.
• W2028049138 hasRelatedWork W1596417907 @default.
• W2028049138 hasRelatedWork W194961446 @default.
• W2028049138 hasRelatedWork W2028049138 @default.
• W2028049138 hasRelatedWork W2166795801 @default.

• next