Subject: [sv-ec] Comments on Ext-7
From: Jay Lawrence (lawrence@cadence.com)
Date: Fri Nov 21 2003 - 09:58:28 PST
Page 1 - resumption of the process
----------------------------------
The sentence: "When the process unblocks it resumes execution in the
Reactive region following the end point.". Should be removed. The effect
of scheduling the process is determined by the kind of object waiting on
the event, not the event being waited for. If the event expression is in
a program it will be scheduled in the reactive region. If the event
expression is in an always block it will be scheduled in the Inactive
region. In a sick-case, this event expression could be used as the
clocking expression on another assertion and it would be scheduled for
the observe region.
Section 17.15 - The expect statement
------------------------------------
The sentence: "The statement following the expect shall execute in the
Reactive region
following the success of the property, or the first failed attempt. In
either case, the specified property terminates its evaluation when the
process unblocks." Should be removed.
For the same reason as the comment above. The scheduling is determined
by the type of blocking process, not the type of the blocking event.
===================================
Jay Lawrence
Senior Architect
Functional Verification
Cadence Design Systems, Inc.
(978) 262-6294
lawrence@cadence.com
===================================
This archive was generated by hypermail 2b28 : Fri Nov 21 2003 - 09:59:10 PST