{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:46:38Z","timestamp":1759146398789},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/codes-isss.2013.6659016","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T15:52:07Z","timestamp":1385049127000},"page":"1-10","source":"Crossref","is-referenced-by-count":8,"title":["Automatic refinement of requirements for verification throughout the SoC design flow"],"prefix":"10.1109","author":[{"given":"Laurence","family":"Pierre","sequence":"first","affiliation":[]},{"given":"Zeineb","family":"Bel Hadj Amor","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"},{"journal-title":"IEEE Standard SystemC Language Reference Manual IEEE","year":"2005","key":"17"},{"journal-title":"IEEE Standard for Property Specification Language (PSL)","year":"2005","key":"18"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"15"},{"key":"16","article-title":"A model-driven methodology for the development of SystemC executable environments","author":"herrera","year":"2012","journal-title":"Proc Forum on Specification and Design Languages (FDL)"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"14","article-title":"Transaction models offer new deal for EDA","author":"goering","year":"2006","journal-title":"EETimes"},{"journal-title":"A Practical Introduction to PSL","year":"2006","author":"eisner","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1561\/1000000013"},{"key":"21","article-title":"Horus: A tool for Assertion-Based Verification and on-line testing","author":"morin-allory","year":"2008","journal-title":"Proc MEMOCODE'08"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2010.5551393"},{"journal-title":"Methodology for Rapid Development of Loosely Timed and Approximately Timed TLM Peripherals","year":"0","author":"narasimhachar","key":"22"},{"key":"23","article-title":"Assertion-based verification of transaction level models","author":"niemann","year":"2006","journal-title":"Proc ITG\/GI\/GMM Workshop"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.74"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1201\/b11321-23"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2012.6356588"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41010-9_6"},{"key":"28","article-title":"Defining the TLM-to-RTL design flow","author":"rizzatti","year":"2007","journal-title":"EETimes"},{"key":"29","first-page":"409","article-title":"Benefits and challenges for platform-based design","author":"sangiovanni-vincentelli","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"journal-title":"Technical Report","article-title":"Assertion Based Verification ISIS tool evaluation","year":"2011","key":"3"},{"journal-title":"AMBA Specification","year":"1999","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364406"},{"journal-title":"SoC Interconnection Wishbone","year":"0","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.853709"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.48"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2010.187"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2005.15"},{"journal-title":"Automated Assertion Transformation Across Multiple Abstraction Levels","year":"2009","author":"steininger","key":"31"},{"key":"4","article-title":"Platform-based vs. Model-driven design","author":"blyler","year":"2012","journal-title":"Chip Estimate"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2006.1695910"},{"year":"0","key":"8"}],"event":{"name":"2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC, Canada","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648477\/6658981\/06659016.pdf?arnumber=6659016","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T01:37:45Z","timestamp":1490233065000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6659016\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/codes-isss.2013.6659016","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}