v0.11.0

Release Notes:

• Add the xc.lut instruction. A 4-bit in-line lookup-table instruction.
• Add the xc.sha3.* instructions for accelerating code-dense Keccak Sponge functions.
• Add Keccak / SHA3 code examples
• Add AES code examples
• Add Prince code examples
• Change #63 - Increase the maximum possible immediate shift values for xc.msll.i and xc.msrl.i
• Change #60 - xc.scatter.* and xc.gather.* syntax changes
• Change #57 - Allow full-width immediate shfits and rotate for packed instructions where w=32
• Fix #67 - Incorrectly specified field for xc.prot
• Fix #66 - xc.ins/xc.ext instruction spec typos
• Fix #64, #55 - xc.mix.* instruction spec typos
• Fix #61 - bug in XCrypto core to AXI4-Lite bridge.
• Fix #54 - Specification bug for xc.prot and xc.prot.i
• Fix #53 - Bintuils encoding bug for xc.ins and xc.ext.
• Fix #47 - Add switchable integration mode for the reference RTL. Faster v.s Easy Integration
• Verilator flow and testbench environment improvments

Known Issues:

• 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.