Method and apparatus for evaluating coverage of circuit, and computer product
AssigneeFujitsu Limited
InventorTakashi Matsuura
Life of this patent
Estimating the term…
Abstract
An apparatus for evaluating coverage includes a determining unit that checks description rules when a receiving unit receives hardware description data. If the hardware description data matches a first or a second description rule, an optimizing unit performs a logic optimization by rewriting of the hardware description data according to the description rule matching. A computing unit computes total number of paths in the hardware description data for which the logic optimization is performed. An executing unit executes a logic simulation using the hardware description data for which the logic optimization is performed. A measuring unit measures path coverage.
Claims14
An apparatus for evaluating coverage, comprising:
- a receiving unit that receives hardware description data of a circuit;
- a determining unit that determines whether it is possible to compress number of paths in the hardware description data;
- and
- an optimizing unit that optimizes the hardware description data based on determination by the determining unit.
An apparatus for evaluating coverage, comprising:
- a receiving unit that receives hardware description data of a circuit;
- a determining unit that determines whether it is possible to compress number of paths in the hardware description data;
- and
- a computing unit that computes total number of paths in the hardware description data based on determination by the determining unit.
A method of evaluating coverage, comprising:
- receiving hardware description data of a circuit;
- determining whether it is possible to compress number of paths in the hardware description data;
- and
- optimizing the hardware description data based on determination at the determining.
A method of evaluating coverage, comprising:
- receiving hardware description data of a circuit;
- determining whether it is possible to compress number of paths in the hardware description data;
- and
- computing total number of paths in the hardware description data based on determination at the determining.
A computer-readable recording medium that stores a computer program for evaluating coverage, the computer product making a computer execute:
- receiving hardware description data of a circuit;
- determining whether it is possible to compress number of paths in the hardware description data;
- and
- optimizing the hardware description data based on determination at the determining.
A computer-readable recording medium that stores a computer program for evaluating coverage, the computer product making a computer execute:
- receiving hardware description data of a circuit;
- determining whether it is possible to compress number of paths in the hardware description data;
- and
- computing total number of paths in the hardware description data based on determination at the determining.
Dependencies are inferred from the claim text.