v0.15.1

Release Notes:

• Re-written the packed arithmetic instruction implementations using components from scarv/xcrypto-rtl.
• Significantly smaller design:
  • 10% smaller on abstract CMOS
  • 45% fewer LUTs on FPGA
  • 33% fewer carry chains on FPGA due to lack of inference and resource sharing packed adder across slow multiplier.
  • Reference PicoRV32 + XCrypto subsystem:
    • Previously was 50-50% between the two in terms of FPGA resource usage.
    • Post packed ALU changes, it's now 66% PicoRV32, 33% XCrypto.

v0.15.0

Release Notes:

This release synchronises with v0.15.0 of the XCrypto specification.

• Implementation changes needed for scarv/xcrypto-spec#26
  • Updated / simplified decode of pack width fields for packed instructions.
  • Updated formal checkers for the same.
• Tuned proof depths to not be deeper than needed.

v0.13.0

This release synchronises the reference implementation of the XCrypto ISE with release v0.13.0 of the XCrypto Specification.

Release notes

• Added support for indexed load and store instructions.
  • Formal checkers and hardware modifications.
• Updated libscarv to work with new instructions and build system
• Repository has been re-organised for consistency across the XCrypto project.
  • external/ -> extern/
  • examples/ -> example/
  • bin/source.me.sh -> bin/conf.sh
  • $XC_HOME -> $REPO_HOME
• The documentation is now continuously built on Travis
• In the example integration with the PicoRV32, the compressed ISE is now enabled by default.

v0.12.0

Release Notes:

Release of the reference implementation, in sync with v0.12.0 of the XCrypto specification document.

• See scarv/xcrypto-spec for the corresponding ISE documentation.

History:

• This release is done to establish the XCrypto reference implementation repository.
• Historically, all development of XCrypto was done under scarv/xcrypto.
• This has now been split into multiple repositories.
• See scarv/xcrypto for how the project is organised.