{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T21:51:45Z","timestamp":1772661105480,"version":"3.50.1"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Access"],"published-print":{"date-parts":[[2026]]},"DOI":"10.1109\/access.2026.3667909","type":"journal-article","created":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T20:57:49Z","timestamp":1772053069000},"page":"31241-31253","source":"Crossref","is-referenced-by-count":0,"title":["Computational Bayesian Experimental Design and Inference for Assisted Linear Circuit Prototype Debug"],"prefix":"10.1109","volume":"14","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9782-8522","authenticated-orcid":false,"given":"Ian","family":"Hill","sequence":"first","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, Canada"}]},{"given":"Frank","family":"Wood","sequence":"additional","affiliation":[{"name":"Department of Computer Science, The University of British Columbia, Vancouver, Canada"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0882-6750","authenticated-orcid":false,"given":"Andr\u00e9","family":"Ivanov","sequence":"additional","affiliation":[{"name":"Department of Electrical and Computer Engineering, The University of British Columbia, Vancouver, Canada"}]}],"member":"263","reference":[{"key":"ref1","article-title":"2024 Wilson research group IC\/ASIC functional verification trend report","author":"Foster","year":"2025"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3286960.3286970"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10648-006-9001-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3126594.3126618"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2025.11343929"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1214\/23-sts915"},{"key":"ref7","article-title":"The no-U-turn sampler: Adaptively setting path lengths in Hamiltonian Monte Carlo","author":"Hoffman","year":"2011","journal-title":"arXiv:1111.4246"},{"key":"ref8","volume-title":"Debugs Buddy","author":"Hill","year":"2025"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/43.720321"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITC50671.2022.00022"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-9747-6_7"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.125"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2012.2196390"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2010.57"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2024.3403908"},{"key":"ref16","article-title":"Attention for inference compilation","author":"Harvey","year":"2019","journal-title":"arXiv:1910.11961"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TIM.2018.2836058"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2521368"},{"key":"ref19","article-title":"ControlFlag: A self-supervised idiosyncratic pattern detection system for software control structures","author":"Hasabnis","year":"2020","journal-title":"arXiv:2011.03616"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858329"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-022-01130-0"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/VL\/HCC60511.2024.00011"},{"key":"ref23","first-page":"1","article-title":"Variational Bayesian optimal experimental design","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","author":"Foster"},{"key":"ref24","article-title":"A unified stochastic gradient approach to designing Bayesian-optimal experiments","author":"Foster","year":"2019","journal-title":"arXiv:1911.00294"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10384136"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2683533"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1080\/00224065.2015.11918138"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ICOMSSC45026.2018.8941825"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3288997"},{"key":"ref30","article-title":"On nesting Monte Carlo estimators","author":"Rainforth","year":"2017","journal-title":"arXiv:1709.06181"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2966228"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2360458"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-005-6142-5"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2023.3298698"},{"key":"ref35","first-page":"1","article-title":"Implicit deep adaptive design: Policy-based experimental design without likelihoods","volume-title":"Proc. Neural Inf. Process. Syst.","volume":"34","author":"Ivanova"},{"key":"ref36","first-page":"28:1","article-title":"Pyro: Deep universal probabilistic programming","author":"Bingham","year":"2018","journal-title":"J. Mach. Learn. Res."},{"key":"ref37","article-title":"SPICE (simulation program with integrated circuit emphasis)","author":"Nagel","year":"1973"},{"key":"ref38","volume-title":"AHKAB","author":"Venturini","year":"2015"},{"key":"ref39","volume-title":"Pyspice","author":"Salvaire","year":"2018"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/ETS50041.2021.9465386"}],"container-title":["IEEE Access"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/6287639\/11323511\/11411692.pdf?arnumber=11411692","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,3,4]],"date-time":"2026-03-04T20:51:38Z","timestamp":1772657498000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11411692\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/access.2026.3667909","relation":{},"ISSN":["2169-3536"],"issn-type":[{"value":"2169-3536","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]}}}