Digital circuit verification method, especially for verification of multiplication structure containing circuits, in which a reference circuit is first matched to the circuit to be verified to speed the verification process

Method for verifying digital circuits, whereby a digital circuit (6) that is to be verified is compared with a reference description (5) so that by use of equivalence testing errors can be detected in the digital circuit. Accordingly, from a number of different possible circuit implementations (7), the one that most closely matches with the circuit to be verified is selected and used to replace the reference circuit. Lastly equivalence testing takes place between the selected circuit and the digital circuit to be verified. Independent claims are included for; (1) a device for verification of digital circuits; (2) computer program; and (3) implementation of the method. Zur Verifikation von digitalen Schaltungen, welche insbesondere Multipliziererstrukturen aufweisen können, wird eine Äquivalenzprüfung zwischen der digitalen Schaltung (6) und einer Referenzbeschreibung (5) dieser digitalen Schaltung derart vorgeschlagen, dass zunächst für die in der digitalen Schaltung (6) implementierten Multipliziererstrukturen jeweils die realisierte Implementierungsalternative von mehreren vorgegebenen unterschiedlichen Implementierungsalternativen (7) ermittelt und in die Referenzbeschreibung (5) anstelle der jeweiligen Multiplikationsfunktion eingesetzt wird, um anschließend mit der somit geänderten Referenzbeschreibung die Äquivalenzprüfung durchzuführen. Auf diese Weise kann die strukturelle Übereinstimmung zwischen der Referenzbeschreibung und der zu verifizierenden digitalen Schaltung deutlich erhöht werden, was das Verifikationsverfahren insgesamt beschleunigt.