Matches in SemOpenAlex for { <https://semopenalex.org/work/W26276290> ?p ?o ?g. }
- W26276290 endingPage "143" @default.
- W26276290 startingPage "143" @default.
- W26276290 abstract "Computer chips, the most complex artifacts ever made by man, are susceptible to problems with correct functionality due to their intricacy. Incorrect operation of silicon chips has lasting, and sometimes devastating, effects on computer systems and their manufacturers: from incorrect computation results, to security vulnerabilities affecting end users, to financial impact on the vendors. Furthermore, new chips are increasingly fragile, liable to break as the transistors that comprise them become small enough to be measured in atoms. A typical modem computer usually includes a single chip where many processors are connected by a communication medium. This communication medium, a new feature in modem chips, provides many opportunities for catastrophic errors, as it is a complex, unpredictable, unique component. The goal of this dissertation is to provide a new solution to ensure the correct operation of the communication medium in multicore processors, from the early stages of design to the end user. It addresses failures in several modes, and operates across the different phases of the verification process, integrating them into a cohesive framework. A key finding of this work is the synergy among verification phases, connected by a novel abstraction technique and multipurpose hardware and software. Simply put, it ensures that the design operates as intended. This approach to the development cycle accelerates, automates and extends the reach of the verification process, providing decreased occurrence of — and increased resilience to — failures. With this solution, the communication system of multi-core chips can operate free from errors." @default.
- W26276290 created "2016-06-24" @default.
- W26276290 creator A5018269902 @default.
- W26276290 creator A5030335506 @default.
- W26276290 date "2012-01-01" @default.
- W26276290 modified "2023-09-22" @default.
- W26276290 title "Correct communication in multi-core processors" @default.
- W26276290 cites W1501077214 @default.
- W26276290 cites W1552325196 @default.
- W26276290 cites W1556247398 @default.
- W26276290 cites W1570229058 @default.
- W26276290 cites W1656777224 @default.
- W26276290 cites W1668025881 @default.
- W26276290 cites W1834494688 @default.
- W26276290 cites W1835615008 @default.
- W26276290 cites W1850405760 @default.
- W26276290 cites W1881765175 @default.
- W26276290 cites W1917409762 @default.
- W26276290 cites W1958215124 @default.
- W26276290 cites W1963637299 @default.
- W26276290 cites W1966285605 @default.
- W26276290 cites W1967664042 @default.
- W26276290 cites W1971827790 @default.
- W26276290 cites W1974635992 @default.
- W26276290 cites W1975329204 @default.
- W26276290 cites W1981991312 @default.
- W26276290 cites W1982151351 @default.
- W26276290 cites W1991201348 @default.
- W26276290 cites W1992365489 @default.
- W26276290 cites W1992371861 @default.
- W26276290 cites W1993822809 @default.
- W26276290 cites W2017503457 @default.
- W26276290 cites W2020584063 @default.
- W26276290 cites W2020751525 @default.
- W26276290 cites W2028632691 @default.
- W26276290 cites W2033102751 @default.
- W26276290 cites W2033263591 @default.
- W26276290 cites W2039509099 @default.
- W26276290 cites W2046940417 @default.
- W26276290 cites W2048107031 @default.
- W26276290 cites W2049759309 @default.
- W26276290 cites W2054704857 @default.
- W26276290 cites W2062190897 @default.
- W26276290 cites W2062390281 @default.
- W26276290 cites W2065160761 @default.
- W26276290 cites W2073742560 @default.
- W26276290 cites W2075910015 @default.
- W26276290 cites W2077889762 @default.
- W26276290 cites W2082534464 @default.
- W26276290 cites W2089155985 @default.
- W26276290 cites W2095495146 @default.
- W26276290 cites W2095876017 @default.
- W26276290 cites W2097046051 @default.
- W26276290 cites W2097763430 @default.
- W26276290 cites W2098279176 @default.
- W26276290 cites W2098771792 @default.
- W26276290 cites W2099558707 @default.
- W26276290 cites W2101009238 @default.
- W26276290 cites W2103283735 @default.
- W26276290 cites W2104086123 @default.
- W26276290 cites W2104151023 @default.
- W26276290 cites W2109389963 @default.
- W26276290 cites W2110296542 @default.
- W26276290 cites W2110868591 @default.
- W26276290 cites W2111026284 @default.
- W26276290 cites W2111491143 @default.
- W26276290 cites W2111667928 @default.
- W26276290 cites W2112439683 @default.
- W26276290 cites W2114179668 @default.
- W26276290 cites W2116521228 @default.
- W26276290 cites W2116989825 @default.
- W26276290 cites W2119428232 @default.
- W26276290 cites W2120635877 @default.
- W26276290 cites W2122146819 @default.
- W26276290 cites W2122442616 @default.
- W26276290 cites W2123184444 @default.
- W26276290 cites W2123205813 @default.
- W26276290 cites W2123211499 @default.
- W26276290 cites W2123512296 @default.
- W26276290 cites W2124531928 @default.
- W26276290 cites W2124906592 @default.
- W26276290 cites W2125094702 @default.
- W26276290 cites W2125194106 @default.
- W26276290 cites W2126353164 @default.
- W26276290 cites W2126679074 @default.
- W26276290 cites W2126900578 @default.
- W26276290 cites W2127456291 @default.
- W26276290 cites W2128941141 @default.
- W26276290 cites W2129663982 @default.
- W26276290 cites W2132719761 @default.
- W26276290 cites W2133218998 @default.
- W26276290 cites W2136273527 @default.
- W26276290 cites W2137892932 @default.
- W26276290 cites W2139593321 @default.
- W26276290 cites W2143849045 @default.
- W26276290 cites W2144606498 @default.
- W26276290 cites W2144709243 @default.
- W26276290 cites W2145021036 @default.