Subject: [sv-cc] more assertion issues
From: Francoise Martinolle (fm@cadence.com)
Date: Thu Apr 17 2003 - 07:38:23 PDT
the entire bullet 6) should be removed?
6) Any assertion updates from the SV-AC.
The following 2 should be realigned:
— Assertion source information: the file, line, and column where the assertion is defined.
— Assertion clocking domain/expression
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.
Francoise
'
This archive was generated by hypermail 2b28 : Thu Apr 17 2003 - 07:39:25 PDT