Subject: Behavior of disable
From: Dave Rich (David.Rich@synopsys.com)
Date: Thu Dec 26 2002 - 12:04:28 PST
In order for the SV spec to be backward compatible with Verilog-2001, it
cannot specify that the disable statement has no effect on non-blocking
assignments. It has to leave the behavior unspecified.
Remove the last sentence of the first paragraph of section 8.8
"The disable, break and continue statements shall not affect any
nonblocking assignments which have been started."
Also, the next paragraph is not needed because it is already part of the
current behavior of the Verilog-2001 spec.
Remove the second paragraph of section 8.8:
"It shall be illegal to disable a function, because the return value
would be uncertain. However, a function may
disable its calling block."
For the record, disables should remove pending NBAs. This is an issue
for the SV-EC.
-- -- Dave Rich Principal Engineer, CAE, VTG Tel: 650-584-4026 Cell: 510-589-2625 DaveR@Synopsys.com
This archive was generated by hypermail 2b28 : Thu Dec 26 2002 - 12:05:56 PST