Abstrakte Modellierung digitaler Schaltungen VHDL vom funktionalen Modell bis zur Gatterebene | EKB DL