TY  - RPRT
TI  - Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition
AU  - Saranyu Chattopadhyay
AU  - Florian Lonsing
AU  - Luca Piccolboni
AU  - Deepraj Soni
AU  - Peng Wei
AU  - Xiaofan Zhang
AU  - Yuan Zhou
AU  - Luca Carloni
AU  - Deming Chen
AU  - Jason Cong
AU  - Ramesh Karri
AU  - Zhiru Zhang
AU  - Caroline Trippel
AU  - Clark Barrett
AU  - Subhasish Mitra
PY  - 2021
DO  - 10.34727/2021/isbn.978-3-85448-046-4_12
UR  - https://arxiv.org/abs/2108.06081
ID  - 2108.06081
ER  -