{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:47:18Z","timestamp":1725486438953},"reference-count":6,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/mwscas.2013.6674871","type":"proceedings-article","created":{"date-parts":[[2013,12,4]],"date-time":"2013-12-04T16:14:10Z","timestamp":1386173650000},"page":"1208-1211","source":"Crossref","is-referenced-by-count":4,"title":["Trusted verification test bench development for Phase-Locked Loop (PLL) hardware insertion"],"prefix":"10.1109","author":[{"given":"Adam G.","family":"Kimura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai-Wei","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siddharth","family":"Prabhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steven B.","family":"Bibyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Greg","family":"Creech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","article-title":"Whats needed for mixed-signal verification","author":"kiani","year":"2004","journal-title":"EE Times News and Analysis"},{"key":"2","first-page":"25","author":"wang","year":"2009","journal-title":"Event Driven Analog modeling for the Verification of pll Frequency Synthesizers 978-1-4244-5359-7\/09"},{"journal-title":"IEEE International Symposia on Hardware-Oriented Security and Trust","year":"0","key":"1"},{"journal-title":"Texas Instruments Analog System Lab Kit Pro Manual","year":"2012","author":"rao","key":"6"},{"key":"5","first-page":"507","article-title":"Analog simulation meets digital verification-A formal assertion approach for mixed-signal verification","author":"jesser","year":"2007","journal-title":"SASIMI Proceedings (R5-8)"},{"key":"4","article-title":"Overview on agilent ptolemy data flow primer","author":"ditore","year":"2003","journal-title":"Agilent Technologies"}],"event":{"name":"2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS)","start":{"date-parts":[[2013,8,4]]},"location":"Columbus, OH, USA","end":{"date-parts":[[2013,8,7]]}},"container-title":["2013 IEEE 56th International Midwest Symposium on Circuits and Systems (MWSCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6653322\/6674559\/06674871.pdf?arnumber=6674871","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T19:48:34Z","timestamp":1490212114000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6674871\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":6,"URL":"https:\/\/doi.org\/10.1109\/mwscas.2013.6674871","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}