{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:32:14Z","timestamp":1725521534079},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,12]]},"DOI":"10.1109\/icecs.2013.6815366","type":"proceedings-article","created":{"date-parts":[[2014,5,16]],"date-time":"2014-05-16T23:05:07Z","timestamp":1400281507000},"page":"108-112","source":"Crossref","is-referenced-by-count":0,"title":["X-Aware verification: A different perspective!"],"prefix":"10.1109","author":[{"given":"Khaled","family":"Nouh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haytham","family":"Saafan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ahmed","family":"Ismail","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.099"},{"key":"2","article-title":"I'm Still in Love with My X! (but, do i want my X to be an optimist, a pessimist, or eliminated)","author":"sutherland","year":"2013","journal-title":"Design &Verification Conference &Exhibition (DvCon) 2013"},{"journal-title":"IEEE Standard for Design and Verification of Low-Power Integrated Circuits","first-page":"1","year":"2013","key":"10"},{"journal-title":"IEEE Approved Draft Standard for System Verilog-Unified Hardware Design Specification and Verification Language","first-page":"1312","year":"2012","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ASICON.2011.6157192"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2008.4538785"},{"key":"5","article-title":"The Dangers of Living with an X (bugs hidden in your Verilog)","author":"turpin","year":"2003","journal-title":"SNUG Boston"},{"key":"4","article-title":"X-propagation woes: Masking bugs at RTL and unnecessary debug at the netlist","author":"piper","year":"2012","journal-title":"Design &Verification Conference &Exhibition (DvCon) 2012"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/NORCHP.2009.5397836"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ISDEA.2010.288"}],"event":{"name":"2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)","start":{"date-parts":[[2013,12,8]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2013,12,11]]}},"container-title":["2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6810206\/6815321\/06815366.pdf?arnumber=6815366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T23:09:46Z","timestamp":1490310586000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6815366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,12]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/icecs.2013.6815366","relation":{},"subject":[],"published":{"date-parts":[[2013,12]]}}}