Christoph Holzbaur profile picture

Christoph Holzbaur

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Erweiterung der Simulation um die formale Verifikation von Schaltungen mit analogen und gemischt analog-digitalen Eingangssignalen
Optimierung und Performancesteigerung bei der Generierung von VHDL-Modellen analoger Schaltungen
Neue Lösungsansätze für das Generalized-Assignment-Problem