Subject: RE: [sv-ac] R29a/b Optional or mandatory name for assertions/properties/assumptions.
From: Richard Ho (rho@0-in.com)
Date: Wed Sep 18 2002 - 13:36:17 PDT
Hi All,
I would add that having the option in both
directions is good. Remember that ovi1751
has a user-assigned name: "Tom".
In many cases, getting users to place assertions
is the more difficult hurdle to cross and the
fewer barriers we place in that path
the better. Saying that names are optional doesn't
inconvenience the user or tool that requires names
on all assertions. It is a tool issue at that point.
But for the user who wants to make a few simple
assertions, mandating more things to specify with
potentially garbage names "assertion foo" makes
no sense. Flexibility is always better than mandated
requirements. Build flexibility into the standard
since the exact methodology and inter-operation of
tools using the standard is unclear at this point in
time.
Richard.
| -----Original Message-----
| From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On
| Behalf Of Adam Krolnik
| Sent: Wednesday, September 18, 2002 11:51 AM
| To: Tom Anderson
| Cc: prakash@realintent.com; simond@co-design.com; sv-ac@eda.org
| Subject: Re: [sv-ac] R29a/b Optional or mandatory name for
| assertions/properties/assumptions.
|
|
|
|
| Hi ovi1751;
|
| [BTW, that's my autogenerated name for you...]
|
| >I agree with Simon. Why force someone to name an assertion
| >if he or she is happy using the default generated names?
|
| Gail has presented many reasons for why a 'default generated'
| name can create problems.
|
| I've been thinking about proposing a requirement:
|
| 'Simulators should create a signal from an assertion name
| and set it to 1/0 based on the pass/fail of the assertion
| so that a waveform viewer can display this pass/fail
| status of an assertion for easy identification of the time
| when an assertion fails.'
|
| It is highly useful to be able to see (in waveforms)
|
| If the usage of assertions by external tools necessitates
| a name (for consistency of results.) Then based on experience
| let's require one. The cost is not very great and this can
| prevent problems.
|
|
| Adam Krolnik
| Verification Mgr.
| LSI Logic Corp.
| Plano TX.
|
This archive was generated by hypermail 2b28 : Wed Sep 18 2002 - 13:37:37 PDT