@inbook{harrison-2023-formalized, title={Formalized High Level Synthesis with Applications to Cryptographic Hardware}, ISBN={9783031331701}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-33170-1_20}, DOI={10.1007/978-3-031-33170-1_20}, booktitle={NASA Formal Methods}, publisher={Springer Nature Switzerland}, author={Harrison, William and Blumenfeld, Ian and Bond, Eric and Hathhorn, Chris and Li, Paul and Torrence, May and Ziegler, Jared}, year={2023}, pages={332–352} }