{"id":242788,"date":"2021-10-01T00:00:00","date_gmt":"2021-10-01T00:00:00","guid":{"rendered":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=scaling-up-hardware-accelerator-verification-using-a-qed"},"modified":"2026-06-03T06:30:17","modified_gmt":"2026-06-03T06:30:17","slug":"scaling-up-hardware-accelerator-verification-using-a-qed","status":"publish","type":"publications","link":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/?publications=scaling-up-hardware-accelerator-verification-using-a-qed","title":{"rendered":"Scaling up hardware accelerator verification using A-QED"},"content":{"rendered":"<p>Authors: S. Chattopadhyay, F. Lonsing, L. Piccolboni, D. Soni, P. Wei, X. Zhang<\/p>\n<p><em>Proceedings of the Formal Methods in Computer-Aided Design Conference (FMCAD), pp. 42-52; Oct. 2021<\/em><\/p>\n<div class=\"pub-meta\">\n  <span class=\"pub-badge badge-conference\">Conference<\/span><br \/>\n  <a href=\"https:\/\/trippel-lab.stanford.edu\/pubs\/Chattopadhyay-2021-fmcad.pdf\" target=\"_blank\">View Paper \u2197<\/a>\n<\/div>\n","protected":false},"featured_media":0,"template":"","categories":[1],"pub-type":[],"research-area":[],"pub-year":[47],"class_list":["post-242788","publications","type-publications","status-publish","hentry","category-uncategorized","pub-year-47"],"_links":{"self":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications\/242788","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/publications"}],"about":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=\/wp\/v2\/types\/publications"}],"wp:attachment":[{"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=242788"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=242788"},{"taxonomy":"pub-type","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-type&post=242788"},{"taxonomy":"research-area","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fresearch-area&post=242788"},{"taxonomy":"pub-year","embeddable":true,"href":"https:\/\/sites.nyuad.nyu.edu\/ccs-ad\/index.php?rest_route=%2Fwp%2Fv2%2Fpub-year&post=242788"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}