Subject: [sv-ac] enhancement request for 3.1a
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Sun Aug 03 2003 - 18:19:22 PDT
I would like to request two enhancement for 3.1a. In 3.1, there is no
nesting of implications. This is a limitation, particularly when composing
properties.
1) I would like to request an extension of the current method by allowing
nested implications on the LHS (sequence) side. This should also allow each
implication fragment with a clock to compose multi-clock implications.
2) Another extension is to allow a property on the RHS of the implication.
If nested implications are allowed as in 1), then only the last RHS can be
a property.
Surrendra
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Sun Aug 03 2003 - 18:19:57 PDT