Title: Fehlermodelle für höhere Hardware-Beschreibungen beim Entwurf grosser VLSI-Chips