[sv-ec] use-model errata 255 ( overwrites 240)

Hi all,
 
Thanks all the feedbacks so far, if you read the email thread, I hope
you came to realize the issues raised here.
The proposed solution is simple and clear. ( to allow
sequence_expression as primary under 'program')
 
The current SV LRM 3.1a already partially supports this feature, but
with bad limitation inside assertion only.
Unless we can confidently claim all dynamic checkers ( I strongly
believe otherwise ) can be achieved through
SV assertions, SV needs to get rid of that limitation to be a real
powerful testbench solution.
 
If a language supports 'if', should it also support 'while'? that's the
issue we are talking about here. I hope we can
all constructively make the standardization process forward.
 
I hope SV-EC chairs to bring 255 up for a resolution process just like
other priority errata, I can assist in the next
few p1800 review meeting if needed to explain why.
 
Cheers,
-Eugene
Received on Wed Oct 13 15:32:31 2004