Hydra: A programmable cryptographic coprocessor in Veriloggithub.com/u993 pointstheu99group11 years ago