The official formal specification of the Vector Extension has just been merged into the Golden RISC-V model: https://github.com/riscv/sail-riscv/commit/c90cf2e

The official formal specification of the Vector Extension has just been merged into the Golden RISC-V model: https://github.com/riscv/sail-riscv/commit/c90cf2e6eff5fa4ef7b93cc2020166dea7453fc6 https://github.com/riscv/sail-riscv/commit/c90cf2e6eff5fa4ef... I expect that this will help stabilise compiler support and facilitate other RISC-V extensions, like RISC-V Vector Crypto, also to progress.