Subject: [sv-ec] FW: [sv-bc] Errata for ERR-6 and SV-BC-72
From: David W. Smith (David.Smith@synopsys.com)
Date: Thu Nov 20 2003 - 16:01:00 PST
Since the inside operator was proposed and made available outside of
constraints within SV-EC I am forwarding this proposal from SV-BC for making
it more general.
Regards
David
-----Original Message-----
From: owner-sv-bc@eda.org [mailto:owner-sv-bc@eda.org] On Behalf Of Dave
Rich
Sent: Wednesday, November 19, 2003 11:48 PM
To: sv-bc@eda.org; sv-ac@eda.org
Subject: [sv-bc] Errata for ERR-6 and SV-BC-72
Attached is a new errata proposal for the inside operator that replaces
$inset and $insetz. In its simplest form, '$inset(A,B,C,D)' would become 'A
inside {B,C,D}'
Some history.
SV3.1 introduced the system functions $inset and $insetz for use by
assertions and the inside operator for use by constraints. The system
functions were available for general expression use, however the inside
operator was only added for use with constraints.
An SV3.1a proposal from the SV-EC (ERR-6) was passed to allow inside as a
generally available operator, and also passed by the SV-BC as issue SV-BC-72
to confirm the synthesizablity of the new operator..
At the BC F2F meeting on Nov 10 an action item was created after it passed
to define the operation of inside for all SV data types, not just the ones
limited by the constraint context, and to see if the inside operator can
replace $inset and $insetz.
At the SV F2F meeting on Nov 14, an action item was created to coordinate
with the SV-AC on the possibility of removing $inset and $insetz.
The SV-AC should look at this proposal to see if the inside operator
contains the necessary functionality to replace $inset and $insetz, and
report back to the SV-BC.
Dave
-- -- David.Rich@Synopsys.com Technical Marketing Consultant http://www.SystemVerilog.org tele: 650-584-4026 cell: 510-589-2625
This archive was generated by hypermail 2b28 : Thu Nov 20 2003 - 16:03:26 PST