[sv-ac] Some corrections/clarifications in SV3.1, draft 5

Subject: [sv-ac] Some corrections/clarifications in SV3.1, draft 5
From: Ambar Sarkar (ambar.sarkar@paradigm-works.com)
Date: Tue Apr 22 2003 - 08:44:36 PDT

• Next message: Surrendra Dudani: "[sv-ac] immediate assert"
• Previous message: Surrendra Dudani: "Re: [sv-ac] BNF issue with concurrent_assert_item."
• Next in thread: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Reply: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

1. Section 17.2 Immediate asertions

The BNF, if I interpret it correctly, will allow nested asserts...that
is an assert statement within the pass/fail statement of an assertion.
Is this allowed?

2. Section 17.7.8 Conditions over sequences
The syntax is sequence_expr ::= ...|sequence_expr throughout
sequence_expr

Shouldn't the 1st sequence_expr on the RHS be a boolean expression? The
paragraph that follows this synatx block is also confusing. Minimally,
we should distinguish between the two by naming the first as
sequence_expr1 and the second as sequence_expr2.

Thanks.
-Ambar

--
Ambar Sarkar                       Email:
ambar.sarkar@paradigm-works.com
Principal Consulting Engineer      Phone: 978-824-1363
Paradigm Works                      Cell: 508-561-1868

• Next message: Surrendra Dudani: "[sv-ac] immediate assert"
• Previous message: Surrendra Dudani: "Re: [sv-ac] BNF issue with concurrent_assert_item."
• Next in thread: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Reply: Surrendra Dudani: "Re: [sv-ac] Some corrections/clarifications in SV3.1, draft 5"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Apr 22 2003 - 08:47:44 PDT