{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:21:44Z","timestamp":1730215304593,"version":"3.28.0"},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/dtis.2018.8368552","type":"proceedings-article","created":{"date-parts":[[2018,5,31]],"date-time":"2018-05-31T18:25:11Z","timestamp":1527791111000},"page":"1-2","source":"Crossref","is-referenced-by-count":3,"title":["Dynamic partial reconfiguration verification using assertion based verification"],"prefix":"10.1109","author":[{"given":"Islam","family":"Ahmed","sequence":"first","affiliation":[]},{"given":"Hassan","family":"Mostafa","sequence":"additional","affiliation":[]},{"given":"Ahmed Nader","family":"Mohieldin","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICECS.2015.7440359"},{"journal-title":"Unified Hardware Design Specification and Verification Language","year":"0","key":"ref3"},{"journal-title":"Questa CDC and Formal Functional Verification","year":"0","key":"ref5"},{"journal-title":"Assertion-Based Verification using System Verilog","year":"0","author":"litterick","key":"ref2"},{"volume":"v2016","journal-title":"Partial Reconfiguration User Guide","year":"2016","key":"ref1"}],"event":{"name":"2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)","start":{"date-parts":[[2018,4,9]]},"location":"Taormina","end":{"date-parts":[[2018,4,12]]}},"container-title":["2018 13th International Conference on Design & Technology of Integrated Systems In Nanoscale Era (DTIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8362838\/8368541\/08368552.pdf?arnumber=8368552","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T00:09:38Z","timestamp":1643155778000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8368552\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/dtis.2018.8368552","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}