Methods and apparatus for merging coverage for multiple verification and design scenarios
AssigneeCadence Design Systems, Inc.
InventorsBijaya Sahu, Abhishek Kanungo, Sandeep Pagey, Christer Cederberg
Life of this patent
Estimating the term…
Abstract
A method and apparatus for producing a verification of digital circuits are provided. In an exemplary embodiment, design and verification checksums are calculated for instances of a desired module. The design and verification checksums may be used to further derive hierarchical design and functional checksums. In another embodiment, these checksums are used to merge multiple databases produced by verification runs. In a further embodiment a computing apparatus is provided. The computing apparatus is configured to merge multiple verification databases.
Claims24
A method of producing a verification of a digital design using a computing apparatus comprising:
- deriving, using the computing apparatus, a plurality of first design checksums from a first plurality of coverage points in a first portion of a digital design;
- deriving, using the computing apparatus, a plurality of first verification checksums from a second plurality of coverage points in a second portion of a digital design;
- deriving, using the computing apparatus, second design and verification checksums, the second design and verification checksums being derived from the first derived pluralities and comprising a hierarchical representation of the plurality of first design and verification checksums;
- and
- producing, using the computing apparatus, a verification result by performing a verification run on the digital design.
A method of producing a verification of a digital design using a computing apparatus, the method comprising:
- providing first and second coverage databases in a storage medium of the computer apparatus, the coverage databases comprising verification data on a plurality of modules of a digital design, at least one module having an instance in each coverage database, the verification data comprising a total design checksum and a verification checksum;
- comparing, using the computing apparatus, the total design checksum for a first instance of a module in the first database to the total design checksum for a second instance of the module in the second database;
- comparing, using the computing apparatus, the verification checksum for the first instance of a module to the second instance;
- and
- producing, using the computing apparatus, a verification of a digital design from the results of the comparisons.
An apparatus for verification of a digital design description comprising:
- a non-transitory storage media coupled to a processor, the processor configured to verify a digital design description by a configuration to:
- derive a plurality of first design checksums from a first plurality of coverage points in a first portion of a digital design;
- derive a plurality of first verification checksums from a second plurality of coverage points in a second portion of a digital design;
- derive second design and verification checksums, the second design and verification checksums being derived from the first derived pluralities and comprising a hierarchical representation of the plurality of first design and verification checksums;
- and
- produce a verification result by performing a verification run on the digital design.
Dependencies are inferred from the claim text.