[sv-ec] Erratum to align coverage with assertions

Subject: [sv-ec] Erratum to align coverage with assertions
From: Arturo Salz (Arturo.Salz@synopsys.com)
Date: Thu Feb 19 2004 - 23:43:23 PST

• Next message: Sandeep Pagey: "RE: [sv-ec] Errata: 3.1a Draft2, Section 20"
• Previous message: David W. Smith: "[sv-ec] Draft 5 Changes Review Request"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Since the repetition operators (goto and non-consecutive) have been changed
so as to align closer with PSL, those same operators used in coverage must be
changed to be the same in both sections. A proposal to do that is attached.

    Arturo

• application/pdf attachment: SVA-align-errata.pdf

• Next message: Sandeep Pagey: "RE: [sv-ec] Errata: 3.1a Draft2, Section 20"
• Previous message: David W. Smith: "[sv-ec] Draft 5 Changes Review Request"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Feb 19 2004 - 23:47:21 PST