METHOD AND DEVICE FOR VERIFYING DIGITAL CIRCUITS

摘要

The aim of the invention is to verify digital circuits that have, in particular, multiplying structures. To this end, an equivalency test between the digital circuit (6) and a reference description (5) of this digital circuit is performed in such a manner that, firstly, the realized implementation alternative of a number of predetermined different implementation alternatives (7) is determined for the multiplying structures implemented in the digital circuit (6) and is used in the reference description (5) instead of the respective multiplication function in order to subsequently carry out the equivalency test with the consequently modified reference description. This enables a considerable increase in the structural match between the reference description and the digital circuit to be verified thus resulting in an overall acceleration of the verification method.