{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:59:52Z","timestamp":1759147192167},"reference-count":28,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/sies.2012.6356588","type":"proceedings-article","created":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T02:14:21Z","timestamp":1354328061000},"page":"220-228","source":"Crossref","is-referenced-by-count":3,"title":["Integrating PSL properties into SystemC transactional modeling — Application to the verification of a modem SoC"],"prefix":"10.1109","author":[{"given":"Laurence","family":"Pierre","sequence":"first","affiliation":[]},{"given":"Luca","family":"Ferro","sequence":"additional","affiliation":[]},{"given":"Zeineb","family":"Bel Hadj Amor","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Bourgon","sequence":"additional","affiliation":[]},{"given":"Jerome","family":"Quevremont","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Extension of Assertion-Based Verification Approaches for the Verification of SystemC SoC Models","year":"2006","author":"lahbib","key":"19"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"18","article-title":"Assertion-Based Verification of Transaction Level Models","author":"niemann","year":"0","journal-title":"Proc ITG\/GI\/GMM Workshop February 2006"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.863187"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-006-9044-6"},{"key":"13","article-title":"An Operational Semantics for Weak PSL","author":"claessen","year":"0","journal-title":"Proc FMCAD'04 November 2004"},{"journal-title":"Ve?rification de Proprie?te?s Logico-temporelles de Spe?cifications SystemC TLM (In French)","year":"2011","author":"ferro","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558642"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456991"},{"journal-title":"IEEE Standard for System Verilog Unified Hardware Design Specification and Verification Language","year":"2005","key":"21"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695910"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364406"},{"key":"23","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"},{"journal-title":"IEEE Standard for System Verilog Unified Hardware Design Specification and Verification Language","year":"2009","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.27"},{"article-title":"Design verification using directives having local variables","year":"2009","author":"pidan","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2007.375128"},{"year":"0","key":"28"},{"key":"3","article-title":"Transaction models offer new deal for EDA","author":"goering","year":"2006","journal-title":"EETimes"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"2"},{"journal-title":"IEEE Standard for Property Specification Language (PSL)","year":"2010","key":"10"},{"journal-title":"IEEE Standard System C Language Reference Manual","year":"2005","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-23"},{"journal-title":"IEEE Standard for Property Specification Language (PSL)","year":"2005","key":"5"},{"key":"4","article-title":"ISIS: Runtime Verification of TLM Platforms","author":"ferro","year":"0","journal-title":"Proc Forum on Specification & Design Languages (FDL'09) September 2009"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484756"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2008.4547691"}],"event":{"name":"2012 7th IEEE International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2012,6,20]]},"location":"Karlsruhe, Germany","end":{"date-parts":[[2012,6,22]]}},"container-title":["7th IEEE International Symposium on Industrial Embedded Systems (SIES'12)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6339458\/6356563\/06356588.pdf?arnumber=6356588","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:23:09Z","timestamp":1498015389000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6356588\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/sies.2012.6356588","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}