Subject: [sv-ac] Fwd: scheduling semantics vs. formal semantics?
From: Stephen Meier (Stephen.Meier@synopsys.com)
Date: Tue Feb 25 2003 - 13:57:41 PST
Hi:
I was asked to send out my reply to question posed today within SV-AC meeting.
The scheduling semantics is strictly about evaluation steps within dynamic
simulation. It forms
the basis for how traces of sampled signals will be extracted for analysis
by assertion
engines. It also indicates where the pass/fail conditions of assertions
are evaluated.
It is my understanding that it is fully compatible (but more general) with
the sampling
semantics outlined in DWG and in the SVAC 0.79 version, but the terminology
is different.
The scheduling semantics defines how traces are extracted and the assertion
semantics defines how the traces are analyzed as assertions, so the
semantics are separate but rely on both having clear definitions.
The scheduling working group has considered assertion requirements on both the
design and verification code.
Note that this matter will be discussed as agenda topic at this Friday's
all hands SV meeting so please review and note any issues and make known by
Friday.
Regards,
Steve
---------
>Importance: Normal
>Sensitivity:
>Subject: scheduling semantics vs. formal semantics?
>To: Vassilios.Gerousis@infineon.com
>Cc: roy.armoni@intel.com, fhaque@cisco.com, stephen.meier@synopsys.COM,
> surrendra.dudani@synopsys.COM, john.havlicek@motorola.com
>X-Mailer: Lotus Notes Release 5.0.7 March 21, 2001
>From: "Cindy Eisner" <EISNER@il.ibm.com>
>Date: Tue, 25 Feb 2003 18:01:06 +0200
>X-MIMETrack: Serialize by Router on D10ML001/10/M/IBM(Release 5.0.9a
>|January 7, 2002) at
> 25/02/2003 17:58:03
>
>
>
>vassilios,
>
>thanks for your reply. sorry, but i now have another question:
>
> >We have a scheduling semantics that define how assertions,
> >Testebench and Design Under Test Get scheduled by a simulator and also
> >interpreted by Synthesis tools.
>
>it sounds to me like these "scheduling semantics" have the potential to
>conflict with the formal semantics we are working on in the semantics
>sub-committee. so i am concerned. but perhaps i have misunderstood you.
>in case not, i am copying the semantics sub-committee on this note, so that
>we can all understand the situation.
>
>regards,
>
>cindy.
>
>Cindy Eisner
>Formal Methods Group Tel: +972-4-8296-266
>IBM Haifa Research Laboratory Fax: +972-4-8296-114
>Haifa 31905, Israel e-mail:
>eisner@il.ibm.com
Steve Meier (stephen.meier@synopsys.com) W: 650-584-4476, Cell: 408-393-8246
This archive was generated by hypermail 2b28 : Tue Feb 25 2003 - 13:58:37 PST