Noticed that the ZVE* Extensions are listed now on the vspec.adoc: https://github.com/riscv/riscv-v-spec/blob/master/v-spec.adoc#181-zve-vector-extensions-for-embedded-processors

Was wondering if this is a complete listing of the requirements (so far) for the ZVE* extensions? or if there might be another document/spreadsheet/source-file which would have a running-list of requirements?

In particular, hoping to check if there might be a running-list of instructions required by the ZVE* extensions (e.g. if we would need to implement vector integer division) and the range of LMUL levels we would be required to support?

Looking forward to continuing the discussion.

All the best,

Gregory