Subject: [sv-ac] Synchronization Activities of the Assertion Kernel
From: Vassilios.Gerousis@Infineon.Com
Date: Thu Sep 26 2002 - 10:53:53 PDT
In the last two months we have been working on the implementation of
Synchronization between SystemVerilog assertion and the assertion portions
of PSL (Property Specification Language). This Synchronization was based on
feedback during SystemVerilog 3.0 Accellera Board voting and also the
feedback from Accellera member meeting at DAC. At DAC, Synopsys had donated
OVA in the recognition that Accellera will unify the assertion and bring to
the market one capability that can be supported by many users and vendors.
In the meantime, we have seen continued activities behind the scenes trying
to slow the synchronization process. The unification process will continue.
We have put the following process immediately after DAC and with the
blessing of the Accellera Board and the technical chairs of the two
committees:
1- Accellera Property Specification Language PSL: The name Sugar will only
be used in reference to the original language donated by IBM. The name of
the standard from Accellera has been officially been named PSL since a month
ago. I have requested everyone to use PSL. This must take effect immediately
in all documentation and official LRM of Accellera.
2- Language Working Group: We have put together two months ago a 6 member
team. Their function is to generate DAS 2.0. This will be the unified
language assertion using PSL and OVA with SystemVerilog compatibility. The
DAS 2.0 will be the unified kernel that everyone has requested including
members of VFV team and some of the Accellera Board members like Cadence and
Motorola. We have created a list of directives for this unification process,
and the team is executing on this plan. Both OVA and PSL will have to be
modified in syntax and semantics to support these directives during the
unification process. The winner out of this process
is all of us. There will be no selection of one language over the other.
This unification is supported by the Accellera board as the business driver
of our activities.
3- I have discussed the implication of DAS 2.0 on the PSL 1.0 effort at the
Accellera board level and also with the chair of VFV, Harry Foster. Our hope
is to use this unified kernel in the PSL 1.0 standard. We have identified
that several EDA vendors took a great risk by building prototypes based on
the initial offering of Sugar before even a draft LRM has left the working
group. This discussion was requested by the Accellera board so that a
unified standard be the focus. The unification must continue as requested by
many of you and also by the Accellera board.
Best Regards
Vassilios
----------------------------------------------------------------------------
--------------------------------------------------
Dr. Vassilios Gerousis
Chief Scientist
Infineon Technologies
DAT CS, MchB
D-81541 Munich
Germany
BalanSt. 73
Telephone: +49-89-234-21342
Fax: +49-89-234-23650
email: Vassilios.Gerousis@infineon.com
Site Map:
http://www.stadtplandienst.de/query;ORT=m;PLZ=81541;STR=Balanstr%2E;HNR=73
----------------------------------------------------------------------------
------------------------------------------------------
This archive was generated by hypermail 2b28 : Thu Sep 26 2002 - 10:56:21 PDT