{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:43:55Z","timestamp":1774417435444,"version":"3.50.1"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1109\/latw.2012.6261251","type":"proceedings-article","created":{"date-parts":[[2012,8,8]],"date-time":"2012-08-08T17:09:56Z","timestamp":1344445796000},"page":"1-6","source":"Crossref","is-referenced-by-count":4,"title":["PSL assertion checkers synthesis with ASM based HLS tool ABELITE"],"prefix":"10.1109","author":[{"given":"Maksim","family":"Jenihhin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samary","family":"Baranov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaan","family":"Raik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentin","family":"Tihhomirov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2008.4479731"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-009-5116-4"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2006.244079"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/EWDTS.2010.5742048"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/VLSISOC.2009.6041335"},{"key":"24","year":"0"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2005.66"},{"key":"16","article-title":"Generating hardware assertion checkers: For hardware verification","author":"boule","year":"2008","journal-title":"Emulation Post-Fabrication Debugging and OnLine Monitoring"},{"key":"13","author":"bnstan","year":"2005","journal-title":"Automata Constrnction for PSL"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.09.004"},{"key":"11","doi-asserted-by":"crossref","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":"12","year":"0","journal-title":"FoCs Property Checkers Generator"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487886"},{"key":"3","author":"baranov","year":"2008","journal-title":"Logic and System Design of Digital Systems"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2008.42"},{"key":"2","first-page":"160","article-title":"Asms in high level synthesis of eda tool abelite","author":"baranov","year":"2009","journal-title":"4th if AC Workshop on Discrete-Event System Design"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2009.83"},{"key":"10","author":"eisner","year":"2006","journal-title":"A Practical Introduction to PSL"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90110-9"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1561\/1000000013"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-9228-4"},{"key":"4","year":"2007","journal-title":"Ternational Techoology Roadmap for Semiconductors Report"},{"key":"9","year":"0"},{"key":"8","year":"0"}],"event":{"name":"2012 13th Latin American Test Workshop - LATW","location":"Quito, Ecuador","start":{"date-parts":[[2012,4,10]]},"end":{"date-parts":[[2012,4,13]]}},"container-title":["2012 13th Latin American Test Workshop (LATW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6247526\/6261223\/06261251.pdf?arnumber=6261251","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T22:37:05Z","timestamp":1497998225000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6261251\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/latw.2012.6261251","relation":{},"subject":[],"published":{"date-parts":[[2012,4]]}}}