@misc{indiciae287b34f3f8b7,
  title = {Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition},
  author = {Saranyu Chattopadhyay and Florian Lonsing and Luca Piccolboni and Deepraj Soni and Peng Wei and Xiaofan Zhang and Yuan Zhou and Luca Carloni and Deming Chen and Jason Cong and Ramesh Karri and Zhiru Zhang and Caroline Trippel and Clark Barrett and Subhasish Mitra},
  year = {2021},
  doi = {10.34727/2021/isbn.978-3-85448-046-4\_12},
  url = {https://arxiv.org/abs/2108.06081},
  note = {Source identifier: 2108.06081}
}