Entwurfsverifikation mit Computer Design Language - Version Munich