liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Testing and Logic Optimization Techniques for Systems on Chip
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan. (Embedded Systems Laboratory)
2012 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

Today it is possible to integrate more than one billion transistors onto a single chip. This has enabled implementation of complex functionality in hand held gadgets, but handling such complexity is far from trivial. The challenges of handling this complexity are mostly related to the design and testing of the digital components of these chips.

A number of well-researched disciplines must be employed in the efficient design of large and complex chips. These include utilization of several abstraction levels, design of appropriate architectures, several different classes of optimization methods, and development of testing techniques. This thesis contributes mainly to the areas of design optimization and testing methods.

In the area of testing this thesis contributes methods for testing of on-chip links connecting different clock domains. This includes testing for defects that introduce unacceptable delay, lead to excessive crosstalk and cause glitches, which can produce errors. We show how pure digital components can be used to detect such defects and how the tests can be scheduled efficiently.

To manage increasing test complexity, another contribution proposes to raise theabstraction level of fault models from logic level to system level. A set of system level faultmodels for a NoC-switch is proposed and evaluated to demonstrate their potential.

In the area of design optimization, this thesis focuses primarily on logic optimization. Two contributions for Boolean decomposition are presented. The first one is a fast heuristic algorithm that finds non-disjoint decompositions for Boolean functions. This algorithm operates on a Binary Decision Diagram. The other contribution is a fast algorithm for detecting whether a function is likely to benefit from optimization for architectures with a gate depth of three with an XOR-gate as the third gate.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 2012. , s. 224
Serie
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1490
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-84806ISBN: 978-91-7519-742-5 (tryckt)OAI: oai:DiVA.org:liu-84806DiVA, id: diva2:561999
Disputas
2012-12-14, Visionen, hus B, Campus Valla, Linköping University, Linköping, 13:15 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2012-11-20 Laget: 2012-10-22 Sist oppdatert: 2012-11-22bibliografisk kontrollert

Open Access i DiVA

Testing and Logic Optimization Techniques for Systems on Chip(1918 kB)2328 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1918 kBChecksum SHA-512
1c75ee755b4c2200bcf4eb72b9d58f7b6faa8b03cecbf2183571d0dd58adcb43d310c77ea80872171010ee77e371975bb63bdd217eb96671ac19729c33878dfe
Type fulltextMimetype application/pdf
omslag(192 kB)80 nedlastinger
Filinformasjon
Fil COVER01.pdfFilstørrelse 192 kBChecksum SHA-512
8d8dde6698b1904534d69f3064b1026227c0985bf626cfc98ea5c3eaae4f59f57082f750a6e3b2095c44c9a99697425c34c30f1e965835f1be129c1ab176ac86
Type coverMimetype application/pdf

Personposter BETA

Bengtsson, Tomas

Søk i DiVA

Av forfatter/redaktør
Bengtsson, Tomas
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 2328 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 989 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf