Equivalence comparison method for comparison of digital circuits during design, whereby an initial stored description is converted into at least two circuit descriptions in a second format followed by an equivalence comparison

摘要

Method for generating assignment information for assignment of signal path identifiers for signal paths of at least two different digitally stored circuit descriptions (4, 5) in a second description format. The circuit descriptions are first converted from a first description (1) format into the second description format. The path assignment information is derived from the at least two different circuit descriptions and at least a part of the first circuit description. Independent claims are included for (1) A device. (2) A computer program product.