Vitalsource Technologies, Inc. Domain Specific High-level Synthesis For Cryptographic Workloads