Scalable agile processor verification using SystemC UVM and friends