{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:29:04Z","timestamp":1725748144218},"reference-count":4,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T00:00:00Z","timestamp":1697241600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,10,14]]},"DOI":"10.1109\/ats59501.2023.10317981","type":"proceedings-article","created":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T19:09:33Z","timestamp":1700507373000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["A Case Study on Formally Verifying an Open-source Deep Learning Accelerator Design"],"prefix":"10.1109","author":[{"given":"Anshul","family":"Jain","sequence":"first","affiliation":[{"name":"Indian Institute of Technology Jodhpur (IITJ),Rajasthan,India"}]},{"given":"Binod","family":"Kumar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology Jodhpur (IITJ),Rajasthan,India"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2021.3069952"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID49098.2020.00036"},{"volume-title":"Image classification using cnn on fpga","year":"2020","author":"Padhi","key":"ref3"},{"key":"ref4","article-title":"Formal for adjacencies: Expanding the scope of formal verification","volume-title":"2019 Design and Verification Conference Exhibition India (DVCON)","author":"KiranKumar V","year":"2019"}],"event":{"name":"2023 IEEE 32nd Asian Test Symposium (ATS)","start":{"date-parts":[[2023,10,14]]},"location":"Beijing, China","end":{"date-parts":[[2023,10,17]]}},"container-title":["2023 IEEE 32nd Asian Test Symposium (ATS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10317938\/10317940\/10317981.pdf?arnumber=10317981","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,12]],"date-time":"2024-04-12T05:50:32Z","timestamp":1712901032000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10317981\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,10,14]]},"references-count":4,"URL":"https:\/\/doi.org\/10.1109\/ats59501.2023.10317981","relation":{},"subject":[],"published":{"date-parts":[[2023,10,14]]}}}