Das Projekt Verifikation analoger Schaltungen (VeronA) ist ein Forschungsprojekt des Bundesministeriums für Bildung und Forschung. Das Projekt wird von fünf Projektpartnern aus der Industrie und an sechs deutschen Universitäten als Unterauftragnehmer verteilt bearbeitet.