RE: [sv-ec] email ballot -- closes midnight October 7.2004

Mehdi,

I have deleted 238 and 240 and replaced it with 255. Could you please
use the new list?

Errata
     7 Clarification to 20.4.1, new 20.10
                ____ Yes ____ No

     8 Randsequence grammar issues
                ____ Yes ____ No

   173 Is the order of declaration in a covergroup
                ____ Yes ____ No

   197 Is a String an array
                ____ Yes ____ No

   203 Section 3.7, delete the sentence "and embedded null bytes are
included"
                ____ Yes ____ No

   231 Clarify the second paragraph in Section 16.5
                ____ Yes ____ No
  
   236 Behavior of the cycle_delay with 'Zero' value
                ____ Yes ____ No

   255 include sequence_expr in Primary
                ____ Yes ____ No

the proposal for 255 is:
   suggested BNF addition of sequence_expr:

   A.8.4 Primaries

   primary ::=
     .
     .
     sequence_expr

The example code after supporting 255 is:
----------------------------------------------------------------------
if( ##[1:10] @(posedge clk ) data == value ) success = 1 ;
else success = 0 ;

Also, we can use '!' (not) to construct 'else' part more naturally as:

if ( ! ( ##[1:10] @(posedge clk) data == value ) ) $error( " data check
failed" ) ;

It will also expand the flexibility to write various checking condition
as:

while( !( ##[1:10] @(posedge clk) data == value ) ) {
error_count++ ;
if( error_count > 1000 ) ..
}
------------------------------------------------------------------------
-----

 
Received on Fri Oct 1 12:54:47 2004