Constraint Failure

SystemVerilog
,
5

In reply to verifeng2:

This doesn’t work on xcelium ( Not the one on eda , the paid one used at work ) ,
so I tried this ::



constraint VALUES { 
 
  foreach(a[i]) 
  {
    if ( i == 0 )
       a[i] == 0 ;
    else if ( i inside { 1 , 2 } )
	   a[i] == 1 ;
    else 
      a[i] == 2*a[i-1] ;    
   }

Thanks ,