[sv-bc] Errata for ERR-6 and SV-BC-72
Subject: [sv-bc] Errata for ERR-6 and SV-BC-72
From: Dave Rich (David.Rich@synopsys.com)
Date: Wed Nov 19 2003 - 23:47:40 PST
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
: Wed Nov 19 2003 - 23:52:31 PST