{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:30:09Z","timestamp":1725471009241},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/uemcon.2016.7777857","type":"proceedings-article","created":{"date-parts":[[2016,12,12]],"date-time":"2016-12-12T20:35:39Z","timestamp":1481574939000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["An RTL power optimization technique based on System Verilog assertions"],"prefix":"10.1109","author":[{"given":"Khaled","family":"Khalifa","sequence":"first","affiliation":[]},{"given":"Khaled","family":"Salah","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"ref4"},{"year":"0","key":"ref3"},{"year":"0","key":"ref5"},{"journal-title":"A Practical Guide for System Verilog Assertions","year":"2005","author":"vijayaraghavan","key":"ref2"},{"journal-title":"Practical Low Power Digital VLSI Design","year":"2012","author":"gary","key":"ref1"}],"event":{"name":"2016 IEEE 7th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)","start":{"date-parts":[[2016,10,20]]},"location":"New York City, NY, USA","end":{"date-parts":[[2016,10,22]]}},"container-title":["2016 IEEE 7th Annual Ubiquitous Computing, Electronics & Mobile Communication Conference (UEMCON)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7763653\/7777798\/07777857.pdf?arnumber=7777857","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T08:38:56Z","timestamp":1483605536000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7777857\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/uemcon.2016.7777857","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}