Title: Verfahren zur Logiksimulation komplexer digitaler Schaltungen mit flexibler Modellierung