{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:47:21Z","timestamp":1725475641680},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iscas.2006.1693179","type":"proceedings-article","created":{"date-parts":[[2006,9,22]],"date-time":"2006-09-22T17:01:13Z","timestamp":1158944473000},"page":"4","source":"Crossref","is-referenced-by-count":1,"title":["SystemC models generation based on libraries of templates"],"prefix":"10.1109","author":[{"given":"A.","family":"Pulka","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"17"},{"year":"0","key":"15"},{"key":"16","first-page":"278","article-title":"Transaction Level Models Analyzer in PROLOG","author":"pu?ka","year":"0","journal-title":"Proceedings of The IFAC Workshop on Programmable Devices and Systems - PDS2004"},{"journal-title":"Transaction Level Modeling in Systemc","year":"2004","author":"rose","key":"13"},{"journal-title":"Developing Transaction-level Models in SystemC","year":"2004","author":"vanthouurnout","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/944645.944651"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2003.1252484"},{"key":"3","article-title":"0.1 Language Reference Manual. Revision 1.0","author":"systemc","year":"0","journal-title":"Copyright\ufffd 2003 Open SystemC Initiative"},{"journal-title":"AMBA Specification (rev 2 0) and Multi layer AHB specification Arm","year":"0","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"10","article-title":"ZBDD-Based Backtrack Search SAT Solver","author":"aloul","year":"2002","journal-title":"Proceedings of International Workshop on Logic Synthesis"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/43.898830"},{"key":"6","article-title":"Modeling Assistant - a Flexible VCM Generator in VHDL","author":"pu?ka","year":"2000","journal-title":"Virtual Components Design and Reuse Kluwer Academic Publishers Boston Hardbound"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4515-6"},{"journal-title":"LPA Prolog","year":"0","key":"4"},{"year":"0","key":"9"},{"key":"8","first-page":"109","article-title":"Local Search and Backtracking vs. Non-Systematic Backtracking","author":"prestwich","year":"2001","journal-title":"Proc of AAAI 2001 Fall Symposium on Using Uncertainty Within Computation"}],"event":{"name":"2006 IEEE International Symposium on Circuits and Systems","acronym":"ISCAS-06","location":"Island of Kos, Greece"},"container-title":["2006 IEEE International Symposium on Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11145\/35661\/01693179.pdf?arnumber=1693179","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T17:40:01Z","timestamp":1489599601000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1693179\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iscas.2006.1693179","relation":{},"subject":[]}}