Oberseminar Rechnerarchitektur und Systementwurf - Summer term 05

overview

description

Recent work, especially from the field CAD for integrated circuits and systems, is presented.

Monday, July 18th 2005: Tobias Schubert - "On the parallelization of the SAT-solver MIRA"
Thursday, June 30th - Friday, July 1th, Blockseminar Fachschaftshaus Schauinsland
Erika Abraham - "Bounded Model Checking fÃ¼r hybride Systeme"
Jochen Eisinger - "Deciding First-Order Logic with Real Addition: An Automata-Based Approach"
Thomas Kmieciak - "Symmetrieausnutzung bei And-Inverter-Graph-basierten Bounded Model Checking"
Ilia Polian - "Transiente Fehler und Online-BIST"
Shanshan Yang - "Simulation von transienten Fehlern"
Alejandro Czutro - "Test auf SignalintegritÃ¤t"
Thomas Eschbach - "Aktueller Stand der Schaltkreisvisualisierung"
Marc Herbstritt - "Bounded Invariant Checking for Blackbox Designs"
Tobias Nopper - "Symbolic Model Checking for Incomplete Designs - Entwicklungen und Ideen"
Matthias BÃ¼che - "Fehlerdiagnose"
Frank Schmiedle - "Dependability Analysis, Error detection - Diagnosis by Black Box Model Checking"
Piet Engelke - "Evaluation des Aggressor-Victim-Bridging-Fehlermodells"
Thomas Fiehn - "Testmethoden fÃ¼r reversible und Quantenschaltkreise"
Ralf Wimmer - "Symbolische Berechnung von Branching Bisimulation"
Matthew Lewis - "Speedup Techniques Utilized in the MIRA SAT Solver"
Monday, April 11th 2005: Markus Degen - "Transferring learned clauses within planning as satisfiability" (Master's Thesis Talk)

comment

graduate seminar