Subject: RE: [sv-cc] Disables and DPI interaction
From: Joao Geada (Joao.Geada@synopsys.com)
Date: Mon Oct 20 2003 - 12:11:28 PDT
Hi John,
What I meant is that in SystemVerilog there is a new category of disables
(disable fork, Section 9.8.2) which are intended to be used to kill specific
threads of execution, more specifically, this construct causes all child threads of
a particular thread of execution to be terminated.
The typical useage assumed for this construct is testbench architectures that
are organized as sets of communicating parallel processes, and this form of
disable is used to abort a specific set of such processes.
(transaction oriented testbenches are typically organized this way, which is
why I mentioned them in the original email)
Look at the example on page 67 (section 9.8.2). This shows an example of the use
of the new form of disable.
For comments on the more "Verilog"ish disables and why I believe these are
likely to be used less in SystemVerilog, read section 8.1 (Procedural Statements
and Control Flow, Introduction) and section 8.9 (Disable)
Joao
==============================================================================
Joao Geada, PhD Principal Engineer Verif Tech Group
Synopsys, Inc TEL: (508) 263-8083
377 Simarano Drive, Suite 300, FAX: (508) 263-8069
Marlboro, MA 01752, USA
==============================================================================
> -----Original Message-----
> From: owner-sv-cc@eda.org [mailto:owner-sv-cc@eda.org]On Behalf Of
> Stickley, John
> Sent: Monday, October 20, 2003 11:11 AM
> To: Joao.Geada@synopsys.COM
> Cc: Sv-Cc
> Subject: Re: [sv-cc] Disables and DPI interaction
>
>
> Joao,
>
> If you don't mind ...
>
> Joao Geada wrote:
> > Disable usage notes:
> > In Verilog, disables were primarily used to effect exception control jumps.
> > (note: there were other uses of disable, but such uses were rarer)
> > In SV 3.1 that purpose of disable is largely superceded by the provision of
> > additional control constructs (break, continue, return, etc);
> > However, due to all the testbench process control constructs it is possible
> > that disables will be used to control "transactions" within the testbench.
>
>
> ... I was wondering if you can clarify what you meant by this last statement.
>
> Thanks,
> -- johnS
>
> __
> ______ | \
> ______________________/ \__ / \
> \ H Dome ___/ |
> John Stickley E | a __ ___/ / \____
> Principal Engineer l | l | \ /
> Verification Solutions Group | f | \/ ____
> Mentor Graphics Corp. - MED C \ -- / /
> 17 E. Cedar Place a \ __/ / /
> Ramsey, NJ 07446 p | / ___/
> | / /
> mailto:John_Stickley@mentor.com \ /
> Phone: (201)818-2585 \ /
> ---------
>
This archive was generated by hypermail 2b28 : Mon Oct 20 2003 - 12:12:56 PDT