Email Record: Domain specific high-level synthesis for cryptographic workloads /