Manish Singhal, from LearnUVMVerification, presents a list of advantages of using assertions and describes the arbitration mechanism of UVM Sequences. Keisuke Shimizu, from ClueLogic, shows