{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T06:13:44Z","timestamp":1725430424349},"reference-count":8,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,9]]},"DOI":"10.1109\/bmas.2009.5338880","type":"proceedings-article","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T14:35:24Z","timestamp":1259591724000},"page":"96-101","source":"Crossref","is-referenced-by-count":13,"title":["A modeling methodology for verifying functionality of a wireless chip"],"prefix":"10.1109","author":[{"given":"Jesse E.","family":"Chen","sequence":"first","affiliation":[]}],"member":"263","reference":[{"year":"0","author":"stolzman","journal-title":"Understanding Assertion-Based Verification","key":"3"},{"key":"2","article-title":"single-chip rfcmos umts\/egsm transceiver with integrated receive diversity and gps","author":"hadjichristos","year":"2008","journal-title":"IEEE Custom Integrated Circuits Conference"},{"year":"1998","author":"razavi","journal-title":"RF Microelectronics","key":"1"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/BMAS.2006.283485"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/BMAS.2008.4751252"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/BMAS.2007.4437523"},{"year":"0","author":"chen","journal-title":"Modeling RF Systems","key":"4"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1109\/T-AIEE.1933.5056309"}],"event":{"name":"2009 IEEE International Behavioral Modeling and Simulation Conference (BMAS 2009)","start":{"date-parts":[[2009,9,17]]},"location":"San Jose, CA, USA","end":{"date-parts":[[2009,9,18]]}},"container-title":["2009 IEEE Behavioral Modeling and Simulation Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5335440\/5338873\/05338880.pdf?arnumber=5338880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T21:08:10Z","timestamp":1489871290000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5338880\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9]]},"references-count":8,"URL":"https:\/\/doi.org\/10.1109\/bmas.2009.5338880","relation":{},"subject":[],"published":{"date-parts":[[2009,9]]}}}