{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:40:57Z","timestamp":1725550857650},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540441083"},{"type":"electronic","value":"9783540461173"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46117-5_103","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:14:23Z","timestamp":1269897263000},"page":"1007-1016","source":"Crossref","is-referenced-by-count":3,"title":["The Integration of SystemC and Hardware-Assisted Verification"],"prefix":"10.1007","author":[{"given":"Ramaswamy","family":"Ramaswamy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Russell","family":"Tessier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,8,16]]},"reference":[{"key":"103_CR1","unstructured":"K. Bartleson. A New Stardard for System-Level Design. Synopsys, Inc., 2000. \n                    http:\/\/www.systemc.org\/\n                    \n                  ."},{"key":"103_CR2","unstructured":"Ikos Systems, Inc. VirtuaLogic VLE-5 Emulation System Manual, Jan. 2001. \n                    http:\/\/www.ikos.com\/products\/vsli\/index.html\n                    \n                  ."},{"key":"103_CR3","doi-asserted-by":"crossref","unstructured":"M. Kudlugi, S. Hassoun, C. Selvidge, and D. Pryor. A Transaction-Based Unified Simulation\/Emulation Architecture for Functional Verification. In ACM\/IEEE Design Automation Conference (DAC), June 2001.","DOI":"10.1145\/378239.379036"},{"key":"103_CR4","unstructured":"R. Ramaswamy. The Integration of SystemC with a VirtuaLogic Emulation System. Master\u2019s thesis, University of Massachusetts, Department of Electrical and Compter Systems Engineering, September 2001. rs http:\/\/www.ecs.umass.edu\/ece\/tessier\/systemc-thesis.pdf URL ."},{"key":"103_CR5","doi-asserted-by":"crossref","unstructured":"L. Semeria and A. Ghosh. Methodology for Hardware\/Software Co-verification in C\/C++. In Asia and South Pacific Design Automation Conference, Jan. 2000.","DOI":"10.1109\/ASPDAC.2000.835134"},{"key":"103_CR6","unstructured":"SystemC. SystemC 1.2Beta User Guide, 2000. \n                    http:\/\/www.systemc.org\n                    \n                  ."},{"key":"103_CR7","volume-title":"Error Control Systems for Digital Communication and Storage","author":"S. Wicker","year":"1994","unstructured":"S. Wicker. Error Control Systems for Digital Communication and Storage. Prentice Hall, Edgewood Cliffs, N.J., 1994."}],"container-title":["Lecture Notes in Computer Science","Field-Programmable Logic and Applications: Reconfigurable Computing Is Going Mainstream"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46117-5_103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:28:56Z","timestamp":1551097736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46117-5_103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540441083","9783540461173"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-46117-5_103","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}