 |
 |
The seminar takes place on the appointed date and time in room V 47.06 or in the ITI seminar room (3.175), ETI I, Pfaffenwaldring
47.
Today is : 11/21/2008 - Thursday, October 18, 15:45 - 17:15, V47.06
Ozan Kasimoglu
Master student
Eclipse-Based Front-End to Layout Navigation for Precision Diagnosis
Physical defects are assumed to be localized, that is, all the circuit
elements like transistors, gates or interconnects affected by a defect
are confined to a restricted region in IC layout. By mapping diagnosis
results into layout and rapid navigating through the suspected regions
of IC layout, the defect mechanism in a faulty chip can be understood
more in detail. In this talk, I will present an Eclipse based front-end
layout navigation tool, which can handle realistic layout data in GDSII
format. Representation of this layout data in Eclipse platform and the
data structures to store all layout features will be discussed.
Geometrical algorithms will be presented to provide quick signal look-up
and design browsing on layout picture. Realization of bidirectional
signal localization between layout and gate netlist descriptions will be
pointed out.
Abdul Wahid Hakmi
M.Sc., Institut für Technische Informatik
Programmable Deterministic Built-in Self-test
In this presentation, a new programmable deterministic Built-In Self-Test (BIST) method will be persented that requires significantly lower storage for deterministic patterns than existing programmable methods and provides high flexibility for test engineering in both internal and external test.
Theoretical analysis suggests that significantly more care bits can be encoded in the seed of a Linear Feedback Shift Register (LFSR), if a limited number of conflicting equations is ignored in the employed linear equation system. The ignored care bits are separately embedded into the LFSR pattern. In contrast to known deterministic BIST schemes based on test set embedding, the embedding logic function is not hardwired. Instead, this information is stored in memory using a special compression and decompression method.
Experiments for benchmark circuits and industrial designs demonstrate that the approach has considerably higher overall coding efficiency than the existing methods.
- Thursday, November 29, 15:45 - 17:15, V47.06
Sambhavi Parajuli
Master student
Partial Scan Design with low-overhead, balanced APTG models
Among the state-of-the-art DFT techniques, partial scan design has been widely accepted as an effective technique to reduce the complexity in sequential circuit testing. In this presentation, I will talk about a graph theoretic method to select a minimal set of flip-flops for scan. First, combinational ATPG is used to generate non-sequential Test Patterns and the fault coverage is compared to the full-scan circuit. After this, the acyclic partial scan circuit is made balanced by duplicating the nodes that exist in different time steps. Combinational ATPG is applied on this combinational representation and the fault coverage is compared with the unbalanced partial scan circuit. For all benchmark circuits investigated, the resulting overhead in the combinatorial model is insignificant.
Rafal Baranowski
M.Sc.
Universal Portable Display Programming Library for Embedded Systems
Since the time-to-market factor plays an important role in embedded
system design, the time optimisation of every design step is highly
beneficial. In this presentation, an approach to exclude one of the
early design steps, namely the visual interface programming, will be
shown. For this purpose, a set of programming libraries has been
developed for the most popular display controller families. The
libraries share the same Application Programming Interface (API) and
they are equipped with interchangeable Hardware Abstraction Level (HAL)
modules, what makes them easily portable.
- Thursday, December 6, 15:45 - 17:15, V47.06
Ahmad Abdul-Majeed
Master of Applied Computer Science, Universität Freiburg
Implementation of predictive filter on ARM processor for tracking application
The goal of this thesis is to build the tracking system called Inertial Measurement Unit used in an autonomous robotic vehicle or small blimp, the system consists of couple of sensors namely (accelerometers, gyroscope, compass (magnetic field), temperature and pressure sensor), in addition to the microcontroller unit for data processing. The predictive filter used is Kalman Filter. Kalman Filter is a recursive estimator for data fusion, especially in the environment where the measurements are uncertain.
In this talk, the Unscented Kalman Filter for the orientation and the Extended Kalman Filter positioning are presented. The approach uses some existing methods to overcome the difficulties in the modelling of the system.
- Thursday, December 20, 15:45 - 17:15, V47.06
Michael Kochte
Dipl.-Inf., Institut für Technische Informatik
System Reliability Estimation
Ensuring a certain reliability of a mechatronic system becomes more and more important as human life is affected by it. For a careful estimation of the system reliability not only the reliability of the single components have to be taken into account but also the interaction of components.
In the hardware domain mapping of functional components to architectural components is an important step in the design flow of complex systems. This step combines information about the single components and their interaction. Recent mapping algorithms are designed to optimize the final system for time, space or power consumption. In this talk we give an overview of methods to estimate and improve reliability from physical up to system level.
- Thursday, January 10, 15:45 - 17:15, V47.06
Zhou Jun
M.Sc., Institut für Technische Informatik
A Case Study on Automatic Test Program Generation for Configurable Cores
With the advent of configurable processors, instead of starting from scratch, designers can customize the core by excluding/including pre-defined blocks and specifying appropriate parameters for them. The benefits are short time-to-market and suitability for specific application domains. This work copes with issues regarding automatic test generation to support this new design paradigm, using the Leon2 processor as a case study.
Michael Kaufmann
Student, Institut für Technische Informatik
Comparison of Asynchronous Design Styles on the Basis of a Network-on-a-Chip Switch
As asynchronous designs become more and more important for todays computers, e.g. in NoCs, the question is, which of the several asynchronous design styles is suited best for which area of usage. Thus, in this study thesis, two of the most important design styles, namely the self-timed and the quasi-delay-insensitive design style, are compared with each other on the basis of parts used in an asynchronous Network-on-a-Chip switch. The criterias for this comparison are the development effort, the area usage, the performance and the robustness of the resulting circuit.
- Thursday, January 17, 15:45 - 17:15, V47.06
Michael Imhof
Dipl.-Inf., Institut für Technische Informatik
Scan Chain Clustering for Low Power
BIST Power Reduction using Scan-Chain Disable reduced the power by switching off scan-chains not needed for particular faults. The optimization was based on the fault cones and tried to activate only needed scanchains for each and every fault. This was performed on given scan chain configurations which maybe did not take into account the optimization goal of a maximed power saving and thereby splitted fault cones among more than one scanchain.
The obtained results can be further improved by reclustering the scan-flipflops into a new scanchain configuration which takes into account the fault cones of the circuit and tries to minimize the amount of affected scanchains.
Melanie Elm
Dipl.-Inf., Institut für Technische Informatik
Optimized Scan Chain Configurations
Scan design where multiple scan-chains are employed is common art in
debug, test, diagnosis and even design validation. Despite the
facilitations and performance enhancements scan chains entail, this
methodology introduces new problems.
Using multiple scan-chains, the question arises, which scan-flip-flops
should be grouped together to form one chain. To solve this adequately
several application specific issues have to be taken into account. One
of theses issues is the fault-aliasing which occurs, when parity trees
are employed to compact test responses. Other issues are power
consumption during test application and compression ratios for test
patterns.
In this talk optimal scan chain clustering for diagnosis under the
employement of different space compactors is discussed.
Christian Zöllin
Dipl.-Ing., Institut für Technische Informatik
On the Propagation Conditions for Single-Event Transients
For a single-event transient (SET) to affect the state of a sequential circuits (i.e. turn into a Single-Event Upset (SEU)), three conditions have to be met: First, a sensitized path has to exist from the fault site to one of the memory elements of the the circuit. Second, the SET glitch has to arrive at on of the memory elements during the sensitive time frame, usually determined by the clock signal. And third, SETs are subject to electrical masking, which can reduce the duration of certain glitches or even suppress them completely.
In this talk, I will present an analysis that determines the contribution of each of these conditions to the overall rate of Single-Event Upsets in a system.
- Thursday, January 24, 15:45 - 17:15, V47.06
Stefan Holst
Dipl.-Inf., Institut für Technische Informatik
ADAMA: Adaptive Diagnosis Between Effect-Cause and Cause-Effect
Logic diagnosis is essential during prototyping and to find yield limiters during production. Rising parametric variations in recent process technologies lead more and more to indeterministic failures and reliability problems and the use of traditional static or fault model dependent diagnosis tools is increasingly limited.
In this talk, a new statistical diagnosis approach is presented, which locates and identifies arbitrary faults in a circuit, based on its input/output behavior. The method adaptively generates specialized diagnostic patterns to gradually focus on the defective regions of the circuit until the most probable defect mechanisms are derived. The effectiveness and performance of the approach is shown through experiments with benchmark and industrial circuits.
Tobias Bergmann
Dipl.-Inf., Institut für Technische Informatik
Accurate High Level Bus Power Estimation
In this talk a high level power estimation model will be presented that has been developed at UPC Barcelona. This bus model allows a fast and accurate energy estimation that deviates by less than 5% from the results received by a SPICE simulation. Effects like coupling between adjacent bus lines are taken into account and the bus model is instantiated with realistic parameter values for the 90 nm process node.
This high accuracy and performance allows the evaluation of design alternatives such as interconnect variants and bus encodings during early development of Systems on Chip. Of special interest are average and peak power, total energy and coding efficiency of the applied low power codes. Results for the evaluation of various real-world SOC benchmarks using a set of low power codes will be presented.
Nataliya Yakimets
M.Sc., Institut für Technische Informatik
Scan Chain Implementation with the Standard Tools
Scan insertion is critical to many other DFT techniques, such
as boundary scan and built-in self-test (BIST), but it is a tedious task
to perform manually. Automating the integration of this technology in
the synthesis process reduces the problems associated with generating,
applying, and analyzing test data. Scan chain insertion can have large
impact on design routability, wirelength, area and timing depending on
the selected scan style and methodology, scan replacement strategy or
scan chain specification. The ability to trade off area and timing
during test synthesis lets preserve the most critical design
parameters.
- Thursday, February 14, 15:45 - 17:15, V47.06
Bartlomiej Chechelski
Student, Institut für Technische Informatik
Efficient On-Chip Compaction of Testresponses
Today's VLSI circuits demand for more and more computational power
during testing. The constraints of testers memories extort using
techniques to compact output responses. Space compactors and time compactors are used in
combination to reduce test volume and make testing more cost
effective.
In this thesis an interest is put into space compactors and
their implementation utilizing properties of error-correction-codes.
It is known a priori that the degree of their compaction is about one
or two orders of magnitude, whereas the capabilities of fault
diagnosis are not so obvious.
A goal is to determine fault detection
and fault diagnostic properties of a set of industrial benchmarks with
compactors attached to them. The results are obtained by fault
simulation carried out on a software model
|
|