{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:30:07Z","timestamp":1729621807323,"version":"3.28.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/memcod.2005.1487886","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"15-24","source":"Crossref","is-referenced-by-count":19,"title":["Synthesis of synchronous assertions with guarded atomic actions"],"prefix":"10.1109","author":[{"given":"M.","family":"Pellauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Liz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Baltus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Nikhi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382681"},{"journal-title":"SystemVerilog 3 1a Language Reference Manual","year":"2004","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459814"},{"journal-title":"Property specification language Reference manual","year":"2004","key":"1"},{"key":"7","doi-asserted-by":"crossref","first-page":"538","DOI":"10.1007\/10722167_40","article-title":"FoCs: Automatic generation of simulation checkers from formal specifications","author":"abarbanel","year":"2000","journal-title":"Computer Aided Verification"},{"key":"6","doi-asserted-by":"crossref","first-page":"428","DOI":"10.1007\/3-540-61474-5_95","article-title":"Vis: A system for verification and synthesis","volume":"1102","author":"brayton","year":"1996","journal-title":"Eigth Conference on Computer Aided Verification (CAV'96)"},{"journal-title":"Notes on the Semantics of Local Variables in Accellera SystemVerilog 3 1 Concurrent Assertions","year":"2004","author":"havlicek","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2000.896524"},{"journal-title":"Assertion-based Design Second Edition","year":"2004","author":"foster","key":"8"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2002.1012607"},{"key":"12","first-page":"55","article-title":"Modular scheduling of guarded atomic actions","author":"rosenband","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"}],"event":{"name":"Third ACM & amp; IEEE International Conference on Formal Methods and Models for Co-Design","acronym":"MEMCOD-05","location":"Verona, Italy"},"container-title":["Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9956\/32009\/01487886.pdf?arnumber=1487886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T03:30:18Z","timestamp":1552102218000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1487886\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/memcod.2005.1487886","relation":{},"subject":[]}}