{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:39:48Z","timestamp":1742913588309,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319162133"},{"type":"electronic","value":"9783319162140"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-16214-0_12","type":"book-chapter","created":{"date-parts":[[2015,3,30]],"date-time":"2015-03-30T22:56:39Z","timestamp":1427756199000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties"],"prefix":"10.1007","author":[{"given":"Philipp A.","family":"Hartmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kim","family":"Gr\u00fcttner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Nebel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,3,31]]},"reference":[{"key":"12_CR1","unstructured":"Boost. Units library 1.1.0. http:\/\/www.boost.org\/doc\/html\/boost_units.html"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Gr\u00fcttner, K., Hartmann, P.A., Hylla, K., Rosinger, S., Nebel, W., Herrera, F., Villar, E., Brandolese, C., Fornaciari, W., Palermo, G., Ykman-Couvreur, C., Quaglia, D., Ferrero, F., Valencia, R.: The COMPLEX reference framework for HW\/SW co-design and power management supporting platform-based design-space exploration. Microprocessors and Microsystems 37(8,C), 966\u2013980 (2013), Special Issue on European Projects in Embedded System Design (EPESD 2012)","DOI":"10.1016\/j.micpro.2013.09.001"},{"key":"12_CR3","unstructured":"Hong, W., Joshi, J., Vieh, A., Bannow, N., Kramer, A., Post, H., Bringmann, O., Rosenstiel, W.: Advanced features for industry-level logging and tracing of C-based designs. In: Forum on Specification and Design Languages (FDL 2013). IEEE (September 2013)"},{"key":"12_CR4","unstructured":"IEEE Standard Verilog Hardware Description Language. IEEE Std. 1364\u20132005, IEEE Computer Society (April 2006) ISBN 0-7381-4851-2"},{"key":"12_CR5","unstructured":"IEEE Standard SystemC Language Reference Manual. IEEE Std. 1666\u20132011. IEEE Computer Society (January 2012). http:\/\/standards.ieee.org\/getieee\/1666\/ ISBN 978-0-7381-6801-2"},{"key":"12_CR6","unstructured":"Klingauf, W., Geffken, M.: Design structure analysis and transaction recording in SystemC designs: A minimal-intrusive approach. In: Forum on Specification and Design Languages (FDL 2006). IEEE (September 2006)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Maehne, T., Vachoux, A.: Supporting dimensional analysis in SystemC-AMS. In: IEEE Behavioral Modeling and Simulation Workshop (BMAS 2009), pp. 108\u2013113 (September 2009)","DOI":"10.1109\/BMAS.2009.5338878"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Nitsche, G., Gr\u00fcttner, K., Nebel, W.: Power contracts: A formal way towards power-closure?! In: Proc. of the 23rd Intl. Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), pp. 59\u201366 (September 2013)","DOI":"10.1109\/PATMOS.2013.6662156"},{"key":"12_CR9","unstructured":"Standard SystemC AMS extensions 2.0 Language Reference Manual. Accellera Systems Initiative (March 2013). http:\/\/accellera.org\/downloads\/standards\/systemc"},{"key":"12_CR10","unstructured":"SystemC Verification Library 2.0. Accellera Systems Initiative (July 2014). http:\/\/accellera.org\/downloads\/standards\/systemc"},{"key":"12_CR11","unstructured":"Synopsys: Virtualizer. http:\/\/www.synopsys.com\/systems\/virtualprototyping"}],"container-title":["Lecture Notes in Computer Science","Applied Reconfigurable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-16214-0_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T06:43:47Z","timestamp":1676443427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-16214-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319162133","9783319162140"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-16214-0_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"31 March 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}