v0.6.1

Decisions Taken:

• Added vectorised grev and rotate instructions.

Changes:

• #13 - The lut4 instruction has been moved to the Bitmanip extension, and is now "borrowed" from it. It has been re-named xperm.*
• #20 - Replaced scalar cryptography instruction pseudo-code with SAIL formal model code snippets.
• Miscellaneous typo and code fixes.
  • Fix example RTL implementations of ssm3 and ssha512 instructions.
  • Fix Spike implementation of ssm3 instructions.
  • Spec typo fixes around vector sha2 instructions.

Additions:

• #18 - Added vector grev instruction, a vectorised version of the Bitmanip instruction with the same name.
• #19 - Added vector rotate instruction.
• #20 - Added experimental SAIL implementations of the scalar cryptography instructions.
  • See issue #22 for a log of questions which have arisen as part of this process.
  • SAIL implementations of borrowed bitmanip instructions expected to be implemented as part of the Bitmanip TG.
  • SAIL implementations of vector cryptography instructions are blocked by lack of SAIL support for base vector extension.

Removals:

• None

Open Issues:

See the status of the open issues in the project board.

• #24 - Vector AES pseudo-code.
• #23 - Vector SHA2 pseudo-code.
• #20 - Sail support is still work in progress.
• #16 - Instruction encodings still TBD.
• #15 - SM3 example code.