{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:35:54Z","timestamp":1725532554281},"publisher-location":"Dordrecht","reference-count":12,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9781402097133"},{"type":"electronic","value":"9781402097140"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-1-4020-9714-0_5","type":"book-chapter","created":{"date-parts":[[2009,5,22]],"date-time":"2009-05-22T13:44:14Z","timestamp":1242999854000},"page":"71-84","source":"Crossref","is-referenced-by-count":0,"title":["An Advanced Simulink Verification Flow Using\u00a0SystemC"],"prefix":"10.1007","author":[{"given":"Kai","family":"Hylla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan-Hendrik","family":"Oetjens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Advanced Verification Methodology. \n                    http:\/\/www.mentor.com\n                    \n                  ."},{"key":"5_CR2","unstructured":"J.-F. Boland, C. Thibeault, and Z. Zilic. Using MATLAB and Simulink in a SystemC verification environment. In Proceedings of Design and Verification Conference, DVCon, February 2005."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"R. Lissel and J. Gerlach. Introducing new verification methods into a company\u2019s design flow: an industrial user\u2019s point of view. In Design, Automation & Test in Europe Conference & Exhibition, DATE \u201907, pages 1\u20136, April 2007.","DOI":"10.1109\/DATE.2007.364675"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"E. Moser and W. Nebel. Case study: system model of crane and embedded control. In Proceedings of the Conference on Design, Automation and Test in Europe, page 721, 1999.","DOI":"10.1145\/307418.307596"},{"key":"5_CR5","unstructured":"Open Verification Methodology. \n                    http:\/\/www.ovmworld.org\/\n                    \n                  ."},{"key":"5_CR6","unstructured":"Simulink Design Verifier. \n                    http:\/\/www.mathworks.com\/products\/sldesignverifier\/\n                    \n                  ."},{"key":"5_CR7","unstructured":"Simulink Fixed Point. \n                    http:\/\/www.mathworks.com\/products\/simfixed\/\n                    \n                  ."},{"key":"5_CR8","unstructured":"Simulink Real-time Workshop. \n                    http:\/\/www.mathworks.com\/products\/rtw\/\n                    \n                  ."},{"key":"5_CR9","unstructured":"Simulink Verification and Validation. \n                    http:\/\/www.mathworks.com\/products\/simverification\/\n                    \n                  ."},{"key":"5_CR10","unstructured":"SystemC Library. \n                    http:\/\/www.systemc.org\n                    \n                  ."},{"key":"5_CR11","unstructured":"Universal Reuse Methodology. \n                    http:\/\/www.cadence.com\n                    \n                  ."},{"key":"5_CR12","unstructured":"Verification Methodology Manual for SystemVerilog. \n                    http:\/\/www.synopsys.com\n                    \n                  ."}],"container-title":["Lecture Notes in Electrical Engineering","Languages for Embedded Systems and their Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-9714-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,29]],"date-time":"2021-04-29T05:56:22Z","timestamp":1619675782000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-9714-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9781402097133","9781402097140"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-9714-0_5","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2009]]}}}