Abstract-Band - Fakultät für Informatik, TU Wien - Technische ...

tation of the well-known synchronous Phase King consensus algorithm using
single-bit serial communication and the design of a suitable testbench for
verifying its operation. The implementation is finally integrated into an existing
prototype and testbench of the self-stabilizing Byzantine fault-tolerant distributed
clock generation scheme FATAL+, where it is used to generate 17-bit
wide synchronized clocks without increasing the stabilization time of the underlying
scheme. The thesis also explores implementation alternatives and provides
the correctness proofs of the employed algorithm.
Karoly David Pados
Design and Evaluation of an AXI4 Bus System
Studium: Masterstudium Technische Informatik
BetreuerIn: Ao.Univ.Prof. Dr. Andreas Steininger
To make system integration in VLSI designs easier and modular, a common
interface for IP cores is desirable. Modules with standardized interfaces can be
more easily integrated into existing designs or swapped out for new parts,
should the need arise. Such an interface and the bus system that connects
multiple components need to comply with several non-trivial requirements, like
efcient power utilization, high throughput, low latency, being easily adaptable
to multiple types of IP cores and providing implementation exibility to system
integrators. For this reason, a number of competing interface standards have
emerged. The focus of this thesis is the implementation and evaluation of such
a standard and the accompanying interconnect for the AMBA AXI4 (Advanced
eXtensible Interface version 4) bus. First, system-on-a-chip (SoC) bus systems
and state of the art protocols are described to establish a good understanding
and broad knowledge of the topic in general. Then functional and
synthesizable IP cores are developed and presented for AXI4. These cores
range from simple master and slave devices to fully functional interconnects, as
well as components to support interoperability with older devices of the AMBA
protocol suit. Also developed in this thesis are a simulation driver and a
protocol monitor/checker to support validation. The components are then
applied to the Scarts microprocessor where they are tested in a live
environment. A detailed comparison of AXI4 and AMBA2 AHB is provided.
Matej Pavlovic
Implementation of a Distributed Computation Framework
Studium: Masterstudium Technische Informatik
BetreuerIn: Univ.Prof. Dr. Ulrich Schmid
A recent paper "On Dynamic Distributed Computing" by Sébastien Gambs,
Rachid Guerraoui, Florian Huc and Anne-Marie Kermarrec presents new
algorithms that make it possible to perform reliable distributed computation on
a dynamic network of nodes, despite a Byzantine adversary controlling an important
fraction of the nodes. The network is partitioned into clusters of small
7