TY  - RPRT
TI  - Verifying High-Level Latency-Insensitive Designs with Formal Model Checking
AU  - Steve Dai
AU  - Alicia Klinefelter
AU  - Haoxing Ren
AU  - Rangharajan Venkatesan
AU  - Ben Keller
AU  - Nathaniel Pinckney
AU  - Brucek Khailany
PY  - 2021
UR  - https://arxiv.org/abs/2102.06326
ID  - 2102.06326
ER  -