Subject: RE: [sv-cc] more assertion issues
From: Bassam Tabbara (bassam@novas.com)
Date: Thu Apr 17 2003 - 08:04:50 PDT
Hi All,
> the entire bullet 6) should be removed?
> 6) Any assertion updates from the SV-AC.
Yes. Agreed.
> The following 2 should be realigned:
>
> - Assertion source information: the file, line, and column
> where the assertion is defined. - Assertion clocking domain/expression
I think clocking domain/statement, line, file.
> I believe that we should change assertion clocking
> domain/expression to assertion resolved clock expression
> because the chapter 17 talks about clock resolution for an assertion.
The clocking domain wording is good. Resolution is just a process
followed to figure out the "clocking domain" of an assertion (from the
context, and conflicts) need not repeat the word here.
Thx again Francoise for the careful examination of this.
-Bassam.
This archive was generated by hypermail 2b28 : Thu Apr 17 2003 - 08:09:00 PDT