...
- Test plan for the scalar-crypto specific instructions is available.
- No actual tests suitable for use currently available. An old experimental set need removing from the riscv-crypto repository, as these no longer work with the latest toolchain or architectural test framework.
- What's next:
- Imperas have a complete set of tests, written to the existing test plan, for the scalar crypto instructions and the bitmanip instructions we borrow.
- These tests will be contributed upstream to There is an open pull request (with some open questions) in the riscv-arch-test repository imminently, with many thanks to Imperas.
- They form a base we can use to develop prototype implementations / Spike / SAIL / QEMU very easily and quickly.
- IIT Madras are also looking at writing the scalar crypto tests for integration into the official architectural tests repo as well.
- Meeting on Wednesday 24th Feb'21 to discuss this.Looking for a template SoW document?
- Likely path is that they re-implement the tests as part of the blessed coverage and test generation tooling.
- We then switch over to using the IIT tests when they are finished, since they will be easier to maintain/extend going forward than the Imperas tests.
- YAML config changes for K have been merged in. See here.
Compilers / Toolchains
GCC and Assembler
...
- Work will be done by PLTC lab under the group contributor model.
- Looks like the work is just getting started.
- Need to set up a meetingMeeting on Weds 10'th Feb to discuss progress.
Simulators
Though all listed under "simulators", these are actually a collection of formal model / virtual machine / architectural simulators / DV simulators etc.
...
- Imperas Commercial Simulator
- Freeware version
- Support for:
- Crypto-scalar v0.7.2, v0.81 + Bitmanip subsets
- Bitmanip 0.92, 0.93
- Functional coverage collection.
QEMU
...
- Work will be done by PLTC lab under the group contributor model.
- Meeting on Weds 10'th Feb to discuss progress.
Proof-of-Concept implementations
...