Domain specific high-level synthesis for cryptographic workloads. (2019)