http://www.cryptol.net/ http://corp.galois.com/storage/files/downloads/Empowering%20the%20Experts_web.pdf Cryptol is a domain-specific language for specifying cryptographic algorithms and was designed for internal use in NSA. Cryptol code could be compiled to C or VHDL. best regards, Daniel