Untertitel:
Das EDA-Clusterforschungsprojekt Ancona soll die Verifikation analog-digitaler Schaltungs- und Systementwürfe beschleunigen. Die Projektpartner entwickeln dafür rechnergestützte Spezifikations-, Modellierungs- und Simulationsverfahren. Die sollen vor allem die Aussagekraft und Vollständigkeit der Verifikation quantitativ messbar und das Entwurfsrisiko kalkulierbar machen.
