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} ; } }