FRINK Linked Data Fragments server

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

• W2112433664 endingPage "1202" @default.
• W2112433664 startingPage "1191" @default.
• W2112433664 abstract "One of the most difficult jobs in designing communication and multimedia chips is to design and verify the complex complementary circuit pair ( <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> , <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-1</sup> ), in which circuit E transforms information into a format suitable for transmission and storage, and its complementary circuit <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-1</sup> recovers this information. In order to facilitate this job, we proposed a novel two-step approach to synthesize the complementary circuit <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-1</sup> from <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> automatically. First, a SAT solver was used to check whether the input sequence of <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> can be uniquely determined by its output sequence. Second, the complementary circuit <i xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>E</i> <sup xmlns:mml=http://www.w3.org/1998/Math/MathML xmlns:xlink=http://www.w3.org/1999/xlink>-1</sup> was built by characterizing its Boolean function, with an efficient all-solution SAT solver based on discovering XOR gates and extracting unsatisfiable cores. To illustrate its usefulness and efficiency, we ran our algorithm on several complex encoders from industrial projects, including PCIE and 10 G Ethernet, and successfully built correct complementary circuits for them." @default.
• W2112433664 created "2016-06-24" @default.
• W2112433664 creator A5013250925 @default.
• W2112433664 creator A5024379444 @default.
• W2112433664 creator A5025650722 @default.
• W2112433664 creator A5033128163 @default.
• W2112433664 creator A5073968910 @default.
• W2112433664 creator A5079156452 @default.
• W2112433664 date "2010-08-01" @default.
• W2112433664 modified "2023-09-26" @default.
• W2112433664 title "Synthesizing Complementary Circuits Automatically" @default.
• W2112433664 cites W1510595267 @default.
• W2112433664 cites W1510851971 @default.
• W2112433664 cites W1516564968 @default.
• W2112433664 cites W1604160780 @default.
• W2112433664 cites W1966998067 @default.
• W2112433664 cites W1993937043 @default.
• W2112433664 cites W2005030466 @default.
• W2112433664 cites W2020169768 @default.
• W2112433664 cites W2032120110 @default.
• W2112433664 cites W2052911384 @default.
• W2112433664 cites W2073776354 @default.
• W2112433664 cites W2075773711 @default.
• W2112433664 cites W2097023195 @default.
• W2112433664 cites W2099429154 @default.
• W2112433664 cites W2109259936 @default.
• W2112433664 cites W2121417875 @default.
• W2112433664 cites W2127856935 @default.
• W2112433664 cites W2139906094 @default.
• W2112433664 cites W2141083993 @default.
• W2112433664 cites W2148631003 @default.
• W2112433664 cites W2153690766 @default.
• W2112433664 cites W4241233758 @default.
• W2112433664 cites W4243562719 @default.
• W2112433664 cites W4245385551 @default.
• W2112433664 cites W4247585869 @default.
• W2112433664 cites W4254523561 @default.
• W2112433664 doi "https://doi.org/10.1109/tcad.2010.2049152" @default.
• W2112433664 hasPublicationYear "2010" @default.
• W2112433664 type Work @default.
• W2112433664 sameAs 2112433664 @default.
• W2112433664 citedByCount "12" @default.
• W2112433664 countsByYear W21124336642012 @default.
• W2112433664 countsByYear W21124336642013 @default.
• W2112433664 countsByYear W21124336642015 @default.
• W2112433664 crossrefType "journal-article" @default.
• W2112433664 hasAuthorship W2112433664A5013250925 @default.
• W2112433664 hasAuthorship W2112433664A5024379444 @default.
• W2112433664 hasAuthorship W2112433664A5025650722 @default.
• W2112433664 hasAuthorship W2112433664A5033128163 @default.
• W2112433664 hasAuthorship W2112433664A5073968910 @default.
• W2112433664 hasAuthorship W2112433664A5079156452 @default.
• W2112433664 hasConcept C11413529 @default.
• W2112433664 hasConcept C154945302 @default.
• W2112433664 hasConcept C23123220 @default.
• W2112433664 hasConcept C41008148 @default.
• W2112433664 hasConceptScore W2112433664C11413529 @default.
• W2112433664 hasConceptScore W2112433664C154945302 @default.
• W2112433664 hasConceptScore W2112433664C23123220 @default.
• W2112433664 hasConceptScore W2112433664C41008148 @default.
• W2112433664 hasIssue "8" @default.
• W2112433664 hasLocation W21124336641 @default.
• W2112433664 hasOpenAccess W2112433664 @default.
• W2112433664 hasPrimaryLocation W21124336641 @default.
• W2112433664 hasRelatedWork W2115485936 @default.
• W2112433664 hasRelatedWork W2119135658 @default.
• W2112433664 hasRelatedWork W2119214692 @default.
• W2112433664 hasRelatedWork W2146184373 @default.
• W2112433664 hasRelatedWork W2153015554 @default.
• W2112433664 hasRelatedWork W2357241418 @default.
• W2112433664 hasRelatedWork W2366644548 @default.
• W2112433664 hasRelatedWork W2376314740 @default.
• W2112433664 hasRelatedWork W2384888906 @default.
• W2112433664 hasRelatedWork W3107474891 @default.
• W2112433664 hasVolume "29" @default.
• W2112433664 isParatext "false" @default.
• W2112433664 isRetracted "false" @default.
• W2112433664 magId "2112433664" @default.
• W2112433664 workType "article" @default.