liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Testing and Logic Optimization Techniques for Systems on Chip
Linköping University, Department of Computer and Information Science, Software and Systems. Linköping University, The Institute of Technology. (Embedded Systems Laboratory)
2012 (English)Doctoral thesis, monograph (Other academic)
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.

Place, publisher, year, edition, pages
Linköping: Linköping University Electronic Press, 2012. , 224 p.
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1490
National Category
Embedded Systems
URN: urn:nbn:se:liu:diva-84806ISBN: 978-91-7519-742-5OAI: diva2:561999
Public defence
2012-12-14, Visionen, hus B, Campus Valla, Linköping University, Linköping, 13:15 (English)
Available from: 2012-11-20 Created: 2012-10-22 Last updated: 2012-11-22Bibliographically approved

Open Access in DiVA

Testing and Logic Optimization Techniques for Systems on Chip(1918 kB)762 downloads
File information
File name FULLTEXT01.pdfFile size 1918 kBChecksum SHA-512
Type fulltextMimetype application/pdf
omslag(192 kB)69 downloads
File information
File name COVER01.pdfFile size 192 kBChecksum SHA-512
Type coverMimetype application/pdf

Search in DiVA

By author/editor
Bengtsson, Tomas
By organisation
Software and SystemsThe Institute of Technology
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 762 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 514 hits
ReferencesLink to record
Permanent link

Direct link