Subject: [sv-cc] Re: Semantics of disable as applied to task/func arguments
From: Swapnajit Mittra (mittra@juno.com)
Date: Mon Oct 27 2003 - 11:01:35 PST
Comments from Steven Sharp of Cadence.
-- Swapnajit Mittra Project VeriPage ::: http://www.angelfire.com/ca/verilog---------- Forwarded Message ----------
>The other effects on output or inout arguments will not happen, since they >are copied after the function return.
As Dave notes, whether they happen or not is undefined according to the standard.
When a task is disabled in Verilog-XL, output and inout arguments are copied out. The standard presumably says that it is undefined because some other simulators failed to implement this.
Steven Sharp sharp@cadence.com
________________________________________________________________ The best thing to hit the internet in years - Juno SpeedBand! Surf the web up to FIVE TIMES FASTER! Only $14.95/ month - visit www.juno.com to sign up today!
This archive was generated by hypermail 2b28 : Mon Oct 27 2003 - 11:06:33 PST