Die Realisierung kompletter Systeme auf einem Chip ist die große Herausforderung für EDA. Kritisch für die Bewältigung dieser Aufgabe ist die Verfügbarkeit qualitativ hochwertiger Blöcke. Ein solch hohes Qualitätsniveau kann nur noch mit Formalen Methoden, das sind ausgeklügelte, hochautomatisierte mathematische Beweisverfahren, garantiert werden. VALSE ist ein Verifikationsprojekt, das die Validierung von "System-on-Chip"-Entwürfen revolutionieren will.
