{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:04:22Z","timestamp":1761581062486,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5456991","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"1207-1212","source":"Crossref","is-referenced-by-count":12,"title":["Formal semantics for PSL modeling layer and application to the verification of transactional models"],"prefix":"10.1109","author":[{"given":"Luca","family":"Ferro","sequence":"first","affiliation":[]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","article-title":"ISIS: Runtime Verification of TLM Platforms","author":"ferro","year":"2009","journal-title":"Proc of Forum on Specification Design Languages (FDL 2009)"},{"key":"ref11","article-title":"Synthesizing SVA Local Variables for Formal Verification","author":"long","year":"2007","journal-title":"Proc DAC'07"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.27"},{"article-title":"A Practical Introduction to PSL","year":"2006","author":"eisner","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_24"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.863187"},{"key":"ref16","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"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244076"},{"key":"ref18","article-title":"Assertion-Based Verification of Transaction Level Models","author":"niemann","year":"2006","journal-title":"Proc ITG\/GI\/GMM Workshop"},{"article-title":"Extension of Assertion-Based Verification Approaches for the Verification of SystemC SoC Models","year":"2006","author":"lahbib","key":"ref19"},{"journal-title":"IEEE Standard for System Verilog Unified Hardware Design Specification and Venfication Language IEEE","year":"2005","key":"ref4"},{"key":"ref3","article-title":"Applied Assertion-Based Verification: An Industry Perspective","volume":"3","author":"foster","year":"2009","journal-title":"Foundations and Trends in Electronic Design Automation"},{"journal-title":"IEEE Standard System C Language Reference Manual IEEE","year":"2005","key":"ref6"},{"journal-title":"IEEE Standard for Property Specification Language (PSL) IEEE","year":"2005","key":"ref5"},{"key":"ref8","article-title":"Transaction models offer new deal for EDA","author":"goering","year":"2006","journal-title":"EETimes"},{"key":"ref7","article-title":"Why We Need Standards for Transaction-Level Modeling","author":"klingauf","year":"2007","journal-title":"SOC Central"},{"key":"ref2","article-title":"Assertion Based Verification","author":"horgan","year":"2004","journal-title":"EDACafe Weekly"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364406"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403540"},{"article-title":"Parallel Program Design: A Foundation","year":"1988","author":"chandy","key":"ref21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2008.4802505"}],"event":{"name":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","start":{"date-parts":[[2010,3,8]]},"location":"Dresden","end":{"date-parts":[[2010,3,12]]}},"container-title":["2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5450668\/5456897\/05456991.pdf?arnumber=5456991","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T22:10:26Z","timestamp":1489875026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5456991\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5456991","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}