Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.
From: John Havlicek (john.havlicek@motorola.com)
Date: Wed Sep 18 2002 - 16:49:31 PDT
> Who envisions a tool [theirs or another] that uses names and will
> make them optional?
Our internal tools already do this. We collect code coverage on the
specifications themselves. We do not ask the user to provide a name
for every specification line on which coverage is collected, but we
do provide the user the option to label lines, in which case the
user label replaces the automatically generated name (file, line number).
The coverage reports are annotated with information about the nature
of the line so that the automatically generated name is more meaningful
when scanning the report.
Best regards,
J.H.
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 16:50:45 PDT