{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:11:00Z","timestamp":1725412260721},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,11]]},"DOI":"10.1109\/hldvt.2008.4695884","type":"proceedings-article","created":{"date-parts":[[2008,12,10]],"date-time":"2008-12-10T16:43:50Z","timestamp":1228927430000},"page":"101-107","source":"Crossref","is-referenced-by-count":0,"title":["Timing verification of distributed network systems at higher levels of abstraction"],"prefix":"10.1109","author":[{"given":"Hassan","family":"Hatefi-Ardakani","sequence":"first","affiliation":[]},{"given":"Amir Masoud","family":"Gharehbaghi","sequence":"additional","affiliation":[]},{"given":"Shaahin","family":"Hessabi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/ICM.2007.4497678","article-title":"a performance and functional assertion-based verification methodology at transaction-level","author":"hatefi-ardakani","year":"2007","journal-title":"IEEE International Conference on Microelectronics (ICM07)"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2002.804970"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/BF01088521"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2001.972819"},{"journal-title":"Property Specification Language (PSL) Reference Manual","year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2006.4380830"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/VDAT.2005.1500052"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/296333.296338"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2003.1219045"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2004.831575"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252479"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/43.924830"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1049\/ip-cdt:20045088"}],"event":{"name":"2008 IEEE International High Level Design Validation and Test Workshop (HLDVT)","start":{"date-parts":[[2008,11,19]]},"location":"Incline Village, NV, USA","end":{"date-parts":[[2008,11,21]]}},"container-title":["2008 IEEE International High Level Design Validation and Test Workshop"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4690895\/4695856\/04695884.pdf?arnumber=4695884","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T04:20:47Z","timestamp":1557980447000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4695884\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/hldvt.2008.4695884","relation":{},"subject":[],"published":{"date-parts":[[2008,11]]}}}