TY  - RPRT
TI  - CREST: Hardware Formal Verification with ANSI-C Reference Specifications
AU  - Andreas Tiemeyer
AU  - Tom Melham
AU  - Daniel Kroening
AU  - John O'Leary
PY  - 2019
UR  - https://arxiv.org/abs/1908.01324
ID  - 1908.01324
ER  -