摘要 |
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.
|