harrison-2023-formalized:
  type: chapter
  title: Formalized High Level Synthesis with Applications to Cryptographic Hardware
  author:
  - Harrison, William
  - Blumenfeld, Ian
  - Bond, Eric
  - Hathhorn, Chris
  - Li, Paul
  - Torrence, May
  - Ziegler, Jared
  date: 2023
  page-range: 332-352
  url: http://dx.doi.org/10.1007/978-3-031-33170-1_20
  serial-number:
    doi: 10.1007/978-3-031-33170-1_20
    isbn: '9783031331701'
    issn: 1611-3349
  parent:
    type: book
    title: NASA Formal Methods
    publisher: Springer Nature Switzerland