Christoph Holzbaur

Erweiterung Der Simulation Um Die Formale Verifikation Von Schaltungen Mit Analogen Und Gemischt Analog-Digitalen Eingangssignalen

Neue Lösungsansätze Für Das Generalized-Assignment-Problem

Optimierung Und Performancesteigerung Bei Der Generierung Von Vhdl-Modellen Analoger Schaltungen