Title: Abstrakte Modellierung digitaler Schaltungen. VHDL vom funktionalen Modell bis zur Gatterebene