Tutorial: RISC-V Vector Extension Demystified │ 2020 RISC-V Summit