Formalized High Level Synthesis with Applications to Cryptographic Hardware harrison-2023-formalizedNFM · 2023