{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:53:24Z","timestamp":1730343204186,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,2,1]]},"DOI":"10.23919\/date51398.2021.9474211","type":"proceedings-article","created":{"date-parts":[[2021,8,24]],"date-time":"2021-08-24T22:11:46Z","timestamp":1629843106000},"page":"1378-1381","source":"Crossref","is-referenced-by-count":5,"title":["System Level Verification of Phase-Locked Loop using Metamorphic Relations"],"prefix":"10.23919","author":[{"given":"Muhammad","family":"Hassan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"GroBe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"125","article-title":"Checking properties of PLL designs using run-time verification","author":"dong","year":"2007","journal-title":"ICM"},{"key":"ref11","first-page":"155","article-title":"Realtime regular expressions for analog and mixed-signal assertions","author":"havlicek","year":"2011","journal-title":"FMCAD"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/MWSCAS.2013.6674871"},{"key":"ref14","first-page":"20","article-title":"Assertion-based verification of signal processing systems with affine arithmetic","author":"radojicic","year":"2012","journal-title":"FDL"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-015-5514-8"},{"journal-title":"Metamorphic testing and its application on hardware fault-tolerance","year":"2011","author":"liu","key":"ref16"},{"year":"0","key":"ref17"},{"journal-title":"PLL example for coside® 2 5","year":"0","key":"ref18"},{"journal-title":"Coside®","year":"0","key":"ref19"},{"key":"ref4","article-title":"Using constraints for SystemC AMS design and verification","author":"v\u00f6rtler","year":"0","journal-title":"DVCon Europe 2018"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342125"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876957"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714903"},{"key":"ref8","first-page":"4","article-title":"Metamorphic testing: A review of challenges and opportunities","volume":"51","author":"chen","year":"2018","journal-title":"ACM Computing Surveys (CSUR)"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2532875"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2705129"},{"key":"ref1","article-title":"An introduction to modeling embedded analog\/mixed-signal systems using SystemC AMS extensions","volume":"23","author":"grimm","year":"2008","journal-title":"DAC"},{"key":"ref9","article-title":"System-level verification of linear and non-linear behaviors of RF amplifiers using metamorphic relations","author":"hassan","year":"2021","journal-title":"ASP-DAC"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/0471732699"},{"journal-title":"MT-086 Tutorial","article-title":"Fundamentals of phase locked loops (PLLs)","year":"2009","key":"ref21"}],"event":{"name":"2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2021,2,1]]},"location":"Grenoble, France","end":{"date-parts":[[2021,2,5]]}},"container-title":["2021 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9473901\/9473226\/09474211.pdf?arnumber=9474211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T20:36:07Z","timestamp":1643315767000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9474211\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,1]]},"references-count":21,"URL":"https:\/\/doi.org\/10.23919\/date51398.2021.9474211","relation":{},"subject":[],"published":{"date-parts":[[2021,2,1]]}}}