Subject: [sv-ac] Ballot for Remaining Extensions: 8, 10, 19
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Fri Jan 16 2004 - 12:00:38 PST
Synopsys votes on the proposals as follows:
(x) next to the proposals for approval.
Extension 8 No
Extension 10 No
Extension 19 X
Although both proposals for ext-8 and ext-10 are well intentioned, after
reviewing carefully and in consideration of their impact on the
implementation, it would be better to leave them for future consideration.
Reasons for No vote:
Ext-8
Functions are timeless, so using temporal assertions seem to break the
basic meaning of functions. Moreover, it would require many explicit rules
as to what kind of functions would be acceptable for proper inferencing of
enabling conditions and clock. Current rules are not adequate. It would
also require complex analysis to properly infer and extract assertions
specified in function calls. It seems more appropriate to use immediate
assertions, perhaps with $sampled function to obtain sampled values if needed.
Ext-10
According to the current understanding of the import feature for modport,
the scope is not altered by importing a task. The imported task will still
maintain the scope of the interface where it is declared. The proposal
would break the current semantics. Furthermore, this feature seems only
useful when there is one driver of the bus. If there are multiple drivers,
the user would get multiple failure messages and would need to apply
additional assertions to figure out the problem with drivers. The current
language does not provide an easy solution, especially the way problem is
decomposed. Perhaps, the assertions could be structured/modelled in a
different way. The "bind" feature may also be useful in this context.
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 : Fri Jan 16 2004 - 12:07:48 PST