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