{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T05:54:35Z","timestamp":1781848475823,"version":"3.54.5"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,24]],"date-time":"2026-05-24T00:00:00Z","timestamp":1779580800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,24]]},"DOI":"10.1109\/iscas66217.2026.11562137","type":"proceedings-article","created":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T20:06:41Z","timestamp":1781813201000},"page":"1829-1833","source":"Crossref","is-referenced-by-count":0,"title":["A Time-Domain Verification Framework for Digitally-Trained Op Amp and Ring-Oscillator Based Analog Spiking Neural Network"],"prefix":"10.1109","author":[{"given":"Sai","family":"Sanjeet","sequence":"first","affiliation":[{"name":"University at Buffalo-SUNY,Department of Electrical Engineering,Buffalo,NY,US"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bibhu Datta","family":"Sahoo","sequence":"additional","affiliation":[{"name":"University at Buffalo-SUNY,Department of Electrical Engineering,Buffalo,NY,US"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0893-6080(97)00011-7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511815706"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP40776.2020.9053914"},{"key":"ref4","volume-title":"Analog VLSI and neural systems","author":"Mead","year":"1989"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2003.1206342"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2015.2456372"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2017.8050980"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS60917.2024.10658910"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/OJCAS.2025.3585654"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0361-9230(99)00161-6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2003.820440"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1952.sp004764"},{"issue":"721","key":"ref13","first-page":"8026","article-title":"PyTorch: an imperative style, high-performance deep learning library","volume-title":"Proceedings of the 33rd International Conference on Neural Information Processing Systems","author":"Paszke"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS46773.2023.10182209"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCASAI.2024.3496837"},{"key":"ref16","article-title":"Towards Efficient Formal Verification of Spiking Neural Network","author":"Seong","year":"2024"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966125"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1002\/aisy.202300456"},{"key":"ref19","article-title":"Spike: A GPU Optimised Spiking Neural Network Simulator","author":"Ahmad","year":"2018","journal-title":"bioRxiv"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1038\/srep18854"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN48605.2020.9206752"},{"key":"ref22","first-page":"137","volume-title":"A focused backpropagation algorithm for temporal pattern recognition","author":"Mozer","year":"1995"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2020.00119"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.3389\/fnins.2021.638474"},{"key":"ref25","article-title":"Iris","volume-title":"UCI Machine Learning Repository","author":"Fisher","year":"1936"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2022.3216516"}],"event":{"name":"2026 IEEE International Symposium on Circuits and Systems (ISCAS)","location":"Shanghai, China","start":{"date-parts":[[2026,5,24]]},"end":{"date-parts":[[2026,5,28]]}},"container-title":["2026 IEEE International Symposium on Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11561899\/11561804\/11562137.pdf?arnumber=11562137","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T05:46:16Z","timestamp":1781847976000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11562137\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,24]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iscas66217.2026.11562137","relation":{},"subject":[],"published":{"date-parts":[[2026,5,24]]}}}