SV constraint example

Constraint c_valid_rate;

constraint phyFrameRandFullSeq::c_valid_rate {

    Solve mPktType before mBaseRate;
if (mPktType == WIFIDOT) {
 mBaseRate inside {1, 2, 5, 11};
} else if(mPktType == WIFIDOT1) {
mBaseRate inside { 6,12, 18} ;
  }
}