v0.9.0 - Initial Public Release

Initial public release of XCrypto

This is the first public release of the XCrypto ISE specification and accompanying reference implementation.

Release Notes:

• The XCrypto ISE specification document is attatched to this release as xcrypto-specification-0.9.0.pdf
• The documentation for the reference implementation is attatched to this release as xcrypto-reference-implementation-0.9.0.pdf
• Both documents can be re-built from source by running make docs from inside the repository.

Known Issues:

• AES instructions currently implemented as NOP.
• Proofs for packed multiply instructions timeout with no counter examples found.
• protocols proof fails due to lack of fairness assumptions about memory stalling and cpu response acceptance.
• No integration of formal checks into standard Icarus verilog simulation flow. All verification relies on model checking.