Implement transaction logic in driver or sequence class

In reply to ak_verifsj:
This is explained in the last example of the the paper.

rand bit valid;
randc int scale;
constraint c {
        scale inside {[0:24]};
        if (scale < 15) -> valid == 1; else valid == 0;  }