Design verification system and method
First Claim
1. A system for verifying a circuit represented with a circuit description including a plurality of descriptions, the system comprising:
- a simulator configured to carry out a logic simulation of the circuit description with the use of a test bench for the circuit description;
an extractor configured to extract descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
an examiner configured to examine whether or not there is a possibility of executing the extracted unexecuted descriptions; and
a prohibited-input-checker generator configured to generate a test pattern to execute the unexecuted description that there is a possibility of executing, and to generate a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description if the test bench is regard as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description.
1 Assignment
0 Petitions
Accused Products
Abstract
A system for verifying a circuit represented with a circuit description including a plurality of descriptions, the system comprising a simulator configured to carry out a logic simulation of the circuit description with the use of a test bench for the circuit description, an extractor configured to extract descriptions unexecuted in the logic simulation according to code coverage information for the circuit description, an examiner configured to examine whether or not there is a possibility of executing the extracted unexecuted descriptions, and a prohibited-input-checker generator configured to generate an test pattern to execute the unexecuted description that there is a possibility of executing, and to generate a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description if the test bench is regard as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description.
-
Citations
23 Claims
-
1. A system for verifying a circuit represented with a circuit description including a plurality of descriptions, the system comprising:
-
a simulator configured to carry out a logic simulation of the circuit description with the use of a test bench for the circuit description;
an extractor configured to extract descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
an examiner configured to examine whether or not there is a possibility of executing the extracted unexecuted descriptions; and
a prohibited-input-checker generator configured to generate a test pattern to execute the unexecuted description that there is a possibility of executing, and to generate a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description if the test bench is regard as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description. - View Dependent Claims (2)
-
-
3. A system for verifying a circuit represented with a circuit description including a plurality of descriptions, the system comprising:
-
a simulator configured to carry out a logic simulation of the circuit description with the use of a test bench for the circuit description;
an extractor configured to extract descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
an examiner configured to examine whether or not there is a possibility of executing the extracted unexecuted descriptions; and
an unexecuted-description-checker generator configured to generate an unexecuted-description checker to inform that one of the descriptions which is unable to generate a test bench is going to be executed in a logic simulation. - View Dependent Claims (4, 5)
-
-
6. A method of verifying a circuit represented with a circuit description including a plurality of descriptions, the system comprising:
-
carrying out a logic simulation of the description having a possibility of being executed, with the use of a test bench for the circuit description;
extracting descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
examining whether or not there is a possibility of executing the extracted unexecuted descriptions;
generating a test pattern to execute the unexecuted description that there is a possibility of executing; and
if the test bench is regard as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description, generating a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description. - View Dependent Claims (7)
-
-
8. A method of verifying a circuit represented with a circuit description including descriptions, the method comprising:
-
carrying out a logic simulation of the circuit description with the use of a test bench for the circuit description;
extracting descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
examining whether or not there is a possibility of executing the extracted unexecuted descriptions; and
generating an unexecuted-description checker to inform that one of the descriptions which is unable to generate a test bench is going to be executed in a logic simulation. - View Dependent Claims (9, 10, 11, 13, 14, 16, 18, 19, 20)
-
-
12. A method of verifying a superordinate system containing at least two subordinate systems, the method comprising:
-
determining whether or not a test bench to carry out a logic simulation of the superordinate system includes a prohibited input pattern of at least one of the subordinate systems;
if it is determined that the superordinate system includes no prohibited input pattern of the subordinate systems, executing a logic simulation with the use of the test bench;
determining whether or not descriptions unexecuted in logic simulations of the subordinate systems have been executed in the logic simulation of the superordinate system;
if it is determined that the unexecuted descriptions have been executed in the logic simulation of the superordinate system, determining whether or not a result of the logic simulation of the superordinate system related to the unexecuted descriptions satisfies specifications;
if it is determined that the result shows a violation of the specifications and if the cause of the violation is a prohibited input pattern, generating a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to the prohibited input pattern; and
eliminating the unexecuted descriptions from an unexecuted-description checker database to store unexecuted descriptions.
-
-
15. A computer program product including computer usable media having computable readable code embodied therein executing a method for verifying a circuit represented with a circuit description including a plurality of descriptions, the method comprising:
-
carrying out a logic simulation of the description having a possibility of being executed, with the use of a test bench for the circuit description;
extracting descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
examining whether or not there is a possibility of executing the extracted unexecuted descriptions;
generating an test pattern to execute the unexecuted description that there is a possibility of executing; and
if the test bench is regard as a prohibited input under a specification at a logic simulation using the test pattern to execute the unexecuted description, generating a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to an input pattern of the test pattern to execute the unexecuted description.
-
-
17. A computer program product including computer usable media having computable readable code embodied therein executing a method for verifying a circuit represented with a circuit description including descriptions, the method comprising:
-
carrying out a logic simulation of the circuit description with the use of a test bench for the circuit description;
extracting descriptions unexecuted in the logic simulation according to code coverage information for the circuit description;
examining whether or not there is a possibility of executing the extracted unexecuted descriptions; and
generating an unexecuted-description checker to inform that one of the descriptions which is unable to generate a test bench is going to be executed in a logic simulation.
-
-
21. A computer program product including computer usable media having computable readable code embodied therein executing a method for verifying a superordinate system containing at least two subordinate systems, the method comprising:
-
determining whether or not a test bench to carry out a logic simulation of the superordinate system includes a prohibited input pattern of at least one of the subordinate systems;
if it is determined that the superordinate system includes no prohibited input pattern of the subordinate systems, executing a logic simulation with the use of the test bench;
determining whether or not descriptions unexecuted in logic simulations of the subordinate systems have been executed in the logic simulation of the superordinate system;
if it is determined that the unexecuted descriptions have been executed in the logic simulation of the superordinate system, determining whether or not a result of the logic simulation of the superordinate system related to the unexecuted descriptions satisfies specifications;
if it is determined that the result shows a violation of the specifications and if the cause of the violation is a prohibited input pattern, generating a prohibited-input checker to check whether or not an input pattern of a logic simulation to be carried out is equal to the prohibited input pattern; and
eliminating the unexecuted descriptions from an unexecuted-description checker database to store unexecuted descriptions. - View Dependent Claims (22, 23)
-
Specification