In der Regel besteht der Großteil der Funktion heutiger Halbleiterbausteins aus digitalen Schaltungen. Bei der Entwicklung dieser digitalen Schaltungen für ASICs (Application Specific Circuit) als auch für FPGAs (Field Programable Gate Array) nimmt die Verifikation einen sehr großen Anteil des Entwicklungsaufwandes…