Am 4. Mai 2010 wurde vom edacentrum Hannover der EDA Achievement Award 2010 für das VeronA-Projekt zur Verifikation analoger Schaltungen verliehen. Dr. Daniel Müller-Gritschender und Dr. Helmut Gräb vom Lehrstuhl für Entwurfsautomatisierung sind mit einem Beitrag zur schnellen Eigenschaftsraumexploration für analoge Schaltungen an diesem Projekt beteiligt.