A-QED verification of hardware accelerators
- Eshan Singh
- , Florian Lonsing
- , Saranyu Chattopadhyay
- , Maxwell Strange
- , Peng Wei
- , Xiaofan Zhang
- , Yuan Zhou
- , Deming Chen
- , Jason Cong
- , Priyanka Raina
- , Zhiru Zhang
- , Clark Barrett
- , Subhasish Mitra
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution