{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:52:55Z","timestamp":1725677575338},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1109\/memcod.2010.5558640","type":"proceedings-article","created":{"date-parts":[[2010,8,27]],"date-time":"2010-08-27T14:37:22Z","timestamp":1282919842000},"page":"123-132","source":"Crossref","is-referenced-by-count":22,"title":["Monitoring temporal SystemC properties"],"prefix":"10.1109","author":[{"given":"Deian","family":"Tabakov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moshe Y.","family":"Vardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"SystemC Verification Standard Specification Version 1 0e","article-title":"SystemC Verification Working Group","year":"2003","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.10"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1145\/1278480.1278529","article-title":"verification methodologies in a tlm-to-rtl design flow","author":"kasuya","year":"2007","journal-title":"2007 44th ACM\/IEEE Design Automation Conference DAC"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487900"},{"key":"ref15","article-title":"LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level","author":"moy","year":"2006","journal-title":"Design Automation for Embedded Systems"},{"journal-title":"Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level","year":"2005","author":"moy","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"key":"ref18","first-page":"948","article-title":"Predictive runtime verification of multi-processor SoCs in SystemC","author":"sen","year":"2008","journal-title":"DAC"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.26"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224423"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2008.4681598"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2005.32"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/966137.966138"},{"journal-title":"A Practical Introduction to PSL (Series on Integrated Circuits and Systems)","year":"2006","author":"eisner","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2006.319967"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_11"},{"journal-title":"IEEE Standard SystemC Language Reference Manual","year":"2006","key":"ref1"},{"journal-title":"System Design with SystemC","year":"2002","author":"grotker","key":"ref9"},{"journal-title":"A Practical Guide for System Verilog Assertions","year":"2005","author":"vijayaraghavan","key":"ref20"},{"key":"ref21","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","author":"winskel","year":"1993","journal-title":"The Formal Semantics of Programming Languages An Introduction"}],"event":{"name":"2010 8th IEEE\/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)","start":{"date-parts":[[2010,7,26]]},"location":"Grenoble, France","end":{"date-parts":[[2010,7,28]]}},"container-title":["Eighth ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5550962\/5558619\/05558640.pdf?arnumber=5558640","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T00:36:22Z","timestamp":1591835782000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5558640\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/memcod.2010.5558640","relation":{},"subject":[],"published":{"date-parts":[[2010,7]]}}}