%0 Conference Paper %1 conf/fmcad/ChattopadhyayLP21 %A Chattopadhyay, Saranyu %A Lonsing, Florian %A Piccolboni, Luca %A Soni, Deepraj %A Wei, Peng %A Zhang, Xiaofan %A Zhou, Yuan %A Carloni, Luca P. %A Chen, Deming %A Cong, Jason %A Karri, Ramesh %A Zhang, Zhiru %A Trippel, Caroline %A Barrett, Clark W. %A Mitra, Subhasish %B FMCAD %D 2021 %I IEEE %K dblp %P 42-52 %T Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. %U http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#ChattopadhyayLP21 %@ 978-3-85448-046-4

@inproceedings{conf/fmcad/ChattopadhyayLP21, added-at = {2024-05-07T00:00:00.000+0200}, author = {Chattopadhyay, Saranyu and Lonsing, Florian and Piccolboni, Luca and Soni, Deepraj and Wei, Peng and Zhang, Xiaofan and Zhou, Yuan and Carloni, Luca P. and Chen, Deming and Cong, Jason and Karri, Ramesh and Zhang, Zhiru and Trippel, Caroline and Barrett, Clark W. and Mitra, Subhasish}, biburl = {https://www.bibsonomy.org/bibtex/2e393351e632ac71a5eeedd3e6f7b16dc/dblp}, booktitle = {FMCAD}, crossref = {conf/fmcad/2021}, ee = {https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_12}, interhash = {efecdf63083f6a3afe0102c3fac16951}, intrahash = {e393351e632ac71a5eeedd3e6f7b16dc}, isbn = {978-3-85448-046-4}, keywords = {dblp}, pages = {42-52}, publisher = {IEEE}, timestamp = {2024-05-13T09:40:55.000+0200}, title = {Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/fmcad/fmcad2021.html#ChattopadhyayLP21}, year = 2021 }