| http://www.w3.org/ns/prov#value | - The invention relates therefore to a coverage measurement tool enabling a user to create a specific coverage tool for a coverage model consisting of a set of coverage tasks specified by the user for checking a design such as a hardware or software system, the tool being associated with a database and with model definition means providing a model definition which defines the coverage model.
|
