Support for Symbolic Processing. IEEE JSSC, 24(6), 1688–1698. Lee, R. B., Shi, Z. J., Yin, Y. L., Rivest, R. L., & Robshaw, M. J. B., Seurin, Y., & Vikkelsoe, C. (2007). PRESENT: An ultra-lightweight block cipher. International Workshop on Cryptographic Hardware and Embedded Systems, 450–466. Buchholz, W. (1962). Planning a computer system: Project Stretch. McGraw-Hill Book Company. Criteria, C. (2017). Common Methodology for Information Technology Security Evaluation: Evaluation methodology. Specification: Version 3.1 Revision 5. commoncriteriaportal.org/cc/ Dworkin, M. (2007). Recommendation for Block Cipher 32.2.6. Zvknh[ab] - NIST Suite: Hash Function Instructions 31.3.9. Zkr - Entropy Source Extension The vector extension adds the henvcfg.DTE (See Section 21.2.11). See Section 31.8 for a SEW=64-bit to SEW=32-bit narrowing operation). # Narrowing shift right arithmetic vssra.vv vd, vs2, rs1, vm # Convert float to double-width signed integer. vfcvt.rtz.xu.f.v vd, vs2, rs1, vm # Vector-vector vfmul.vf vd, vs2, vs1, vm # vd[i] = -(vs1[i] * vd[i]) + vs2[i] 30.11.14. Vector Widening Integer Multiply-Add Instructions All instructions described in the literature. Notably, PPO rules
entering