Using our “Specman agent approach for the Mixed Verification†along with exploiting “real†feature of ...