Lightning Talk: Design Verification with Step-and-Compare for RISC-V... Lee Moore & Simon Davidmann

Lightning Talk: Design Verification with Step-and-Compare for RISC-V Vector Extensions - Lee Moore & Simon Davidmann, Imperas Software The RISC-V vector extensions represent the most extensive and complex extensions yet for the RISC-V ISA. As a flexible and modular ISA (Instruction Set Architecture) the RISC-V standard extensions offer developers significant flexibility to configure and tune an implementation to the target application needs and requirements. The RISC-V Vectors Extensions offer extensive options and configurations to address a wide range of hardware accelerator requirements. Thus, designs span from edge devices to cloud based accelerators, across the spectrum of compute requirements. Working with the team at BCS (Barcelona Supercomputing Center) the complexity of the Vector accelerator engine has been supported with the adaption of the step-and-compare verification methodology to address the coverage and score-boarding requirements for the RISC-V Vector Extensions. Using a specification envel