{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:48:48Z","timestamp":1747892928514},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1109\/date.2010.5456985","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:33Z","timestamp":1361279793000},"page":"1171-1176","source":"Crossref","is-referenced-by-count":11,"title":["Towards assertion-based verification of heterogeneous system designs"],"prefix":"10.1109","author":[{"given":"Stefan","family":"Lammermann","sequence":"first","affiliation":[]},{"given":"Jurgen","family":"Ruf","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Kropf","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Rosenstiel","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Viehl","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Jesser","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2008.4484700"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78127-1_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1093\/ietfec\/e91-a.12.3548"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1497561.1497564"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2001.915111"},{"key":"ref15","first-page":"271","article-title":"Efficient and Customizable Integration of Temporal Properties into SystemC","author":"weiss","year":"2005","journal-title":"Forum on Specification and Design Languages"},{"key":"ref4","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1145\/1629911.1630046","article-title":"Guess, Solder, Measure, Repeat - How do I get my mixed-signal chip right?","author":"ying","year":"2009","journal-title":"46th Design Automation Conference (DAC‘09)"},{"journal-title":"Assertion-Based Design","year":"2004","author":"foster","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2008.05.013"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/ICM.2007.4497676","article-title":"Checking Properties of PLL Designs using Run-time Verification","author":"dong","year":"2007","journal-title":"Proceedings of Intematonal Conference on Microelectronics (ICM‘07)"},{"journal-title":"IEEE Standard for SystemVerilog Unified Hardware Design Specification and Verification Language Standard IEEE 1800","article-title":"Design Automation Standards Committee","year":"2005","key":"ref8"},{"journal-title":"IEEE Standard for Property Specification Language (PSL) Version 1 1 Standard IEEE 1850","article-title":"Design Automation Standards Committee","year":"2005","key":"ref7"},{"journal-title":"MATLAB Mathworks","year":"0","key":"ref2"},{"journal-title":"SystemC-AMS Open SystemC Initiative","year":"2007","key":"ref1"},{"journal-title":"Model checking","year":"1999","author":"clarke","key":"ref9"}],"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\/05456985.pdf?arnumber=5456985","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T03:48:05Z","timestamp":1498016885000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5456985\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/date.2010.5456985","relation":{},"subject":[],"published":{"date-parts":[[2010,3]]}}}